Expressions

primary-expressions

 literal
 data-item
 
 Parenthesized-expression
 non-parameterized-member-access
 method-invocation-expression
 chained-constructor
 object-creation-expression
 delegate-invocation-expression
 subscript-expression
 reference-modification-expression
 concatenation-expression
 cast-expression
 type-of-expression
 anonymous-method-expression
 method-group-expression 
 arithmetic-expression
 size-of-expression

literal

data-item

Parenthesized-expression

non-parameterized-member-access

method-invocation-expression

Where:

positional-argument: an expression corresponding to the parameter in the same position in the method definition.
param-name: the name of a parameter as defined in the method definition, not corresponding to one of the positional-arguments.

Any parameter defined by the method that does not correspond either to one of the positional arguments, or to one of the named arguments, must be an optional parameter (i.e. a parameter with a default value).

chained-constructor

Where:

positional-argument: an expression corresponding to the parameter in the same position in the constructor definition.
param-name: the name of a parameter as defined in the constructor definition, not corresponding to one of the positional-arguments.

None of positional-argument, named-argument, or property-initializer should reference instance data or local data. Typically they reference arguments of the current constructor.

Object-creation-expression

Where:

positional-argument: An expression corresponding to the parameter in the same position in the constructor definition.
param-name: the name of a parameter as defined in the constructor definition, not corresponding to one of the positional-arguments.
Property-name: The name of an instance property associated with the class being constructed. Following the construction of the new object, the property with that name will be initialized to the value of the property-initializer.

Any parameter defined by the constructor that does not correspond either to one of the positional arguments, or to one of the named arguments, must be an optional parameter (i.e. a parameter with a default value).

Delegate-invocation-expression

Where:

primary-expression: Must resolve to an object of delegate type.
positional-argument: An expression corresponding to the parameter in the same position in the delegate definition.
param-name: The name of a parameter as defined in the delegate definition, not corresponding to one of the positional-arguments.

Any parameter defined by the delegate that does not correspond either to one of the positional arguments, or to one of the named arguments, must be an optional parameter (i.e. a parameter with a default value).

subscript-expression

Where:

[ subscript... ]

Square brackets [ ] indicate that the subscript is zero based. For example:

     myArray[5]   *> sixth item in the array

Square brackets can also be used to pass the parameters to an indexer expression.

( subscript... )

Round parentheses ( ) indicate that the subscript is one based. For example:

     myArray(5)   *> fifth item in the array

This form of subscript expression is only available for items defined in the COBOL program using the OCCURS clause. It cannot be used to access elements of an array returned by a member access or a method invocation expression. Nor can it be used to access an indexer.

Reference-modification-expression

The primary expression must be of type string. The offset must be of integral type. The length expression may be omitted but, if specified, must be of integral type.

The result of a reference modification expression is a string value formed by taking a substring of the original string starting from the specified offset (0 based), for the specified length, or until the end of the original string if length expression is omitted.

If the offset expression, or the sum of the offset expression and the length expression, is greater than the original string length an exception is thrown.

Concatenation-expression

where the right-hand primary-expression is not itself a concatenation expression. The result of a concatenation expression is a string value formed by concatenating all the operands. If any operand is not itself of type string, the ToString (.NET) or toString(JVM) method is applied to the operand before it participates in the concatenation.

Cast-expression

The cast expression is used to specify an explicit conversion, for example, reference type conversion and explicit user conversions. See section Types and Type conversions.

Type-of-expression

Anonymous-method-expression

DELEGATE
procedure-division
END-DELEGATE

The procedure division may start with a procedure division header, which can specify zero or more parameters and an optional returning item.

Method-group-expression

The expression represents any of the methods with the given name belonging to the specified type. For instance methods, the method group expression also encapsulates an object instance.

Method group expressions are implicitly converted to a delegate type by selecting the member of the method group which is compatible with the delegate type.

Example:

01 del type MyDelegate.
01 o type MyType.
set del to method o::Meth1

The compiler will set del to point to the override of Meth1 in MyType, which has the same signature as MyDelegate.

Arithmetic-expression

An arithmetic expression may be either a unary expression or a binary expression. In both cases, the expressions which are subject to operations may be:

Numeric expressions.
Expressions of a type for which a suitable operator overload has been defined.
In the case of binary +, the left expression may be an enum type and the right expression an integral type, or vice versa. The result is of the same enum type.
In the case of binary -, both expressions may be of the same enum type, or the left expression may be an enum type and the right expression an integral type. The result in the first case is a value whose type is that of the underlying type of the enum. In the second case, the result is of the same enum type.
In the case of binary b-and, b-or and b-xor, both expressions may be of the same enum type. The result is of the same enum type.
In the case of binary + and binary -, both expressions may be of the same delegate type or one expression may be a delegate type and the other a compatible anonymous method or method group. The result is of the same delegate type.

Size-of-expression

where expression can be one of the following:

An item of type string
A managed single-dimensional array of any type
An item of a collection type

Note: The word OF is normally optional, but is required in the case of a DISPLAY statement, where the expression is not the first DISPLAY operand.

unary-expression

Where unary-operator is one of '+', '-', or 'b-not'.

binary-expression

Where binary-operator is one of '+', '-', '*', '/', '**', 'b-and', 'b-or', 'b-xor', 'b-left', or 'b-right'.

When the binary-expression contains more than one binary operator, the order in which the operations are performed is determined by operator precedence as follows:

Shift right and shift left (b-right and b-left)
binary or (b-or)
binary xor (b-xor)
binary and (b-and)
Exponentiation (**)
Multiplication and division( * and /)
Addition and subtraction (* and -)

The order of evaluation can be modified by making use of parenthesized expressions.

Conditional-expression

A conditional expression may be a primary conditional expression or a combined conditional expression.

A primary conditional expression may be:

An arithmetic expression evaluating to a boolean type
A relational condition, consisting of two arithmetic expressions separated by a relational operator
A negated primary conditional expression
A conditional expression enclosed in parentheses
An INSTANCE OF expression
A CONTAINS expression

A relational operator is one of the following, where each line includes variants for the same operator.

=		EQUALS
<>	NOT=	NOT EQUALS
>		GREATER [THAN]
<		LESS [THAN]
>=	NOT<	GREATER [THAN] OR EQUAL NOT LESS [THAN]
<=	NOT>	LESS [THAN] OR EQUAL NOT GREATER [THAN]

An INSTANCE OF expression is of the form:

A CONTAINS expression is of the form:

where expression-1 evaluates to an object of type DICTIONARY and expression-2 evaluates to an object whose type is the key type of the dictionary.