17b66dfc56
In order for PCL to serve as an authoritative intermediate language for
Pulumi programs, it needs to be able to express all the concepts
available to a Pulumi program written in a high-level programming
language. Put another way, it must be capable of expressing all the
functionality exposed by the `ResourceMonitor` interface. Presently, the
ability to `Call` methods on component resources is not available in
PCL. This change adds a new `call` intrinsic to fix that.
`call` has three required arguments: the receiver (that will become the
`__self__` argument under the hood), the method name (that must exist in
the resource's `Methods` map in schema), and an object of arguments
(whose specifications must appear in the corresponding `Function` in the
schema). An example use of `call` might thus look as follows:
```hcl
resource "c" "pkg:index:Callable" {
...
}
output "o" {
value = call(c, "method", { x = 1, y = 2 })
}
```
In order to type check and applications of `call` when binding PCL
programs, we use the recently powered-up annotations feature to look up
the resource node of the receiver from its expression. With this, we are
able to grab the schema and validate the method name and arguments.
While we add unit tests for binding programs that use `call`, this
change does not extend program generation or the conformance test suite.
This will be done in a subsequent set of changes.
Part of fixing pulumi/pulumi-java#262
|
||
|---|---|---|
| .. | ||
| README.md | ||
| binder.go | ||
| binder_component.go | ||
| binder_nodes.go | ||
| binder_resource.go | ||
| binder_resource_test.go | ||
| binder_schema.go | ||
| binder_schema_test.go | ||
| binder_test.go | ||
| binding.md | ||
| call.go | ||
| component.go | ||
| config.go | ||
| diagnostics.go | ||
| functions.go | ||
| functions_test.go | ||
| intrinsics.go | ||
| invoke.go | ||
| local.go | ||
| output.go | ||
| program.go | ||
| resource.go | ||
| rewrite_apply.go | ||
| rewrite_apply_test.go | ||
| rewrite_convert.go | ||
| rewrite_convert_test.go | ||
| rewrite_properties.go | ||
| type.go | ||
| utilities.go | ||
| utilities_test.go | ||
README.md
(pcl)=
Pulumi Configuration Language (PCL)
Pulumi Configuration Language (PCL) is an internal representation of Pulumi programs which supports all core concepts of the Pulumi programming model in a minimal form. Although not exposed directly to users today, this intermediate representation is used to support a variety of program conversion tasks, from and to various supported Pulumi languages.
Pulumi supports a number of operations pertaining to PCL programs:
-
Lexing and parsing, in which PCL source is parsed into an abstract syntax tree (AST).
-
Type checking and binding, in which a PCL AST is verified to be well-formed (describing resources, outputs, and so on), associated with ("bound to") a set of Pulumi schema, and type checked and resolved.
-
Code generation ("programgen"), in which a PCL program is converted into a program written in a supported target language. Much of this underpins the core of tools such as
pulumi convert.
:::{toctree} :maxdepth: 1 :titlesonly:
Syntax and type checking </pkg/codegen/hcl2/README> Binding </pkg/codegen/pcl/binding> :::