Menu

This is documentation for the next version of Alloy. For the latest stable release, go to the latest version.

Open source RSS

Expressions

Expressions represent or compute values you can assign to attributes within a configuration.

Basic expressions are literal values, like "Hello, world!" or true. Expressions may also do things like refer to values exported by components, perform arithmetic, or call functions.

You use expressions when you configure any component. All component arguments have an underlying type. Alloy checks the expression type before assigning the result to an attribute.