CxExpression

Description

abstract class Tinman.Core.Cx.Expressions.CxExpression

Derived from

CxNode abstract
ICxUsageContainer<CxExpressionUsage>
ICxReference

Extended by

CxExpressionBinary sealed
CxExpressionCall sealed
CxExpressionCast sealed
CxExpressionDefault sealed
CxExpressionIf sealed
CxExpressionIndex sealed
CxExpressionLiteral sealed
CxExpressionMember sealed
CxExpressionName sealed
CxExpressionNew sealed
CxExpressionUnary sealed

Abstract base for classes that represent a Code-X expression.

The ICxReference.Resolved property may return the following values:

CxExpression...     |Binary
                    |   |Call
                    |   |   |Cast
                    |   |   |   |Default
                    |   |   |   |   |If |Index
                    |   |   |   |   |   |   |Literal
                    |   |   |   |   |   |   |   |Member
                    |   |   |   |   |   |   |   |   |Name
Cx...               |   |   |   |   |   |   |   |   |   |New|Unary
--------------------+---+---+---+---+---+---+---+---+---+---+---
Declaration         | A |   | A | A | A | A | A | C | C | A | A
DeclarationDelegate |   | B |   |   |   |   |   |   |   |   |
Item                |   |   |   |   |   |   |   | D | D |   |
MemberConstructor   |   |   |   |   |   |   |   |   |   | B |
MemberMethod        | K | B |   |   |   |   |   |   |   |   | K
MemberProperty      |   |   |   |   |   | K |   | E | E |   |
MethodGroup         |   |   |   |   |   |   |   | F | F |   |
NamespaceGroup      |   |   |   |   |   |   |   | G | G |   |
Parameter           |   |   |   |   |   |   |   |   | H |   |
TypeParameter       |   |   |   |   |   |   |   |   | I |   |
Variable            |   |   |   |   |   |   |   | J | J |   |

The cases A .. O are defined as follows:

  • Case A:
    The type declaration that results from resolving the expression type.

  • Case B:
    The method or delegate that is invoked by a call expression or the constructor that is called by an object creation expression.

  • Case C:
    The type declaration that is referred to by the name / member expression.

  • Case D:
    The enumeration item that is referred to by the name / member expression.

  • Case E:
    The property that is referred to by the name / member expression or, when inside of the property setter, by the special name expression value.

  • Case F:
    The method group that has the same name as indicated by the name / member expression.

  • Case G:
    The group of those namespaces that match the name / member expression in the context of the enclosing code unit.

  • Case H:
    The parameter of a constructor, delegate or method that is referred to by the name expression.

  • Case I:
    The type parameter of a class, delegate, interface, struct or method that is referred to by the name expression.

  • Case J:
    The variable of a constant or field member that is referred to by the name / member expression or the variable in a for loop, a catch block or a statement block that is referred to by the name expression.

  • Case K:
    The operator method or indexer property that is referred to by the unary / binary expression or index expression.

There is no expression for explicitly wrapping another expression in braces, i.e. (expr). The necessity for braces may be queried with NeedsBraces.

Public / Constants

Precedence­Additive

public constant PrecedenceAdditive → (11:int32)

Precedence of additive binary expressions.

See also

CxBinary.ValueAdd
CxBinary.ValueSubtract

Precedence­Assignment

public constant PrecedenceAssignment → (1:int32)

Precedence of assignment binary expressions.

See also

CxBinary.Assign
CxBinary.AssignAdd
CxBinary.AssignDivide
CxBinary.AssignLogicalAnd
CxBinary.AssignLogicalOr
CxBinary.AssignLogicalXOr
CxBinary.AssignModulo
CxBinary.AssignMultiply
CxBinary.AssignShiftLeft
CxBinary.AssignShiftRight
CxBinary.AssignSubtract

Precedence­Conditional

public constant PrecedenceConditional → (2:int32)

Precedence of ternary if expressions.

See also

CxExpressionIf

Precedence­Conditional­And

public constant PrecedenceConditionalAnd → (4:int32)

Precedence of conditional AND binary expressions.

See also

CxBinary.ConditionalAnd

Precedence­Conditional­Or

public constant PrecedenceConditionalOr → (3:int32)

Precedence of conditional OR binary expressions.

See also

CxBinary.ConditionalOr

Precedence­Equality

public constant PrecedenceEquality → (8:int32)

Precedence of equality binary expressions.

See also

CxBinary.CompareEqual
CxBinary.CompareNotEqual

Precedence­Logical­And

public constant PrecedenceLogicalAnd → (7:int32)

Precedence of logical AND binary expressions.

See also

CxBinary.LogicalAnd

Precedence­Logical­Or

public constant PrecedenceLogicalOr → (5:int32)

Precedence of logical OR binary expressions.

See also

CxBinary.LogicalOr

Precedence­Logical­XOr

public constant PrecedenceLogicalXOr → (6:int32)

Precedence of logical XOR binary expressions.

See also

CxBinary.LogicalXOr

Precedence­Multiplicative

public constant PrecedenceMultiplicative → (12:int32)

Precedence of multiplicative binary expressions.

See also

CxBinary.ValueDivide
CxBinary.ValueModulo
CxBinary.ValueMultiply

Precedence­Primary

public constant PrecedencePrimary → (14:int32)

Precedence of primary expressions.

See also

CxExpressionCall
CxExpressionDefault
CxExpressionIndex
CxExpressionLiteral
CxExpressionMember
CxExpressionName
CxExpressionNew
CxUnary.DecrementPostfix
CxUnary.IncrementPostfix

Precedence­Relational

public constant PrecedenceRelational → (9:int32)

Precedence of relational binary expressions.

See also

CxBinary.CompareGreater
CxBinary.CompareGreaterOrEqual
CxBinary.CompareLess
CxBinary.CompareLessOrEqual
CxBinary.TypeAs
CxBinary.TypeIs

Precedence­Shift

public constant PrecedenceShift → (10:int32)

Precedence of shift binary expressions.

See also

CxBinary.AssignShiftLeft
CxBinary.AssignShiftRight

Precedence­Unary

public constant PrecedenceUnary → (13:int32)

Precedence value of unary expressions.

See also

CxExpressionCast
CxUnary.DecrementPrefix
CxUnary.IncrementPrefix
CxUnary.Invert
CxUnary.Minus
CxUnary.Negation
CxUnary.Plus

Public / Constructors

From­Source

public static method FromSource → (1)

source in : string

[not-null]
The source code.

returns → CxExpression

The parsed expression.

Parses the given expression.

ValidatingException

If the syntax of source in is invalid.

See also

CxCodeUnit

Public / Methods

As­Statement

public method AsStatement → ()

returns → CxStatement

The wrapping statement.

Wraps this expression in a statement.

As­Statement­Return

public method AsStatementReturn → ()

returns → CxStatementReturn

The wrapping return statement.

Wraps this expression in a return statement.

As­Statement­Throw

public method AsStatementThrow → ()

returns → CxStatementThrow

The wrapping throw statement.

Wraps this expression in a throw statement.

Write­Source­Code­With­Braces

public method WriteSourceCodeWithBraces → (3)

writer in : SourceCodeWriter

[not-null]
The source code writer to use.

context in : Context

[not-null]
Context information.

precedence in : int32

[>=0]
The precedence of the surrounding expression or 0 if there is no surrounding expression. See Precedence.

Produces source code by feeding the given source code writer.

IOException

If an I/O error occurs while emitting source code to writer in.

Public / Attributes

Expression­Type

public attribute ExpressionType → (get)

value : CxType

[not-null]
The expression type or CxTypeSimple.Void iff unresolved.

Returns the type this expression evaluates to.

Needs­Braces

public attribute NeedsBraces → (get)

value : bool

true if this expression must be wrapped in braces,
false if braces are not necessary.

Does this expression need to be wrapped in braces?

See also

CxExpression.Precedence
ICxUsageContainer.Usage
CxExpressionBinary.IsRightAssociative

Precedence

[Constant]
public abstract attribute Precedence → (get)

value : int32

[>=1]
The precedence value. Expressions with higher values take precedence over expressions with lower values.

The expression precedence value.

See also

CxExpression.PrecedenceAdditive
CxExpression.PrecedenceAssignment
CxExpression.PrecedenceConditional
CxExpression.PrecedenceConditionalAnd
CxExpression.PrecedenceConditionalOr
CxExpression.PrecedenceEquality
CxExpression.PrecedenceLogicalAnd
CxExpression.PrecedenceLogicalOr
CxExpression.PrecedenceLogicalXOr
CxExpression.PrecedenceMultiplicative
CxExpression.PrecedencePrimary
CxExpression.PrecedenceRelational
CxExpression.PrecedenceShift
CxExpression.PrecedenceUnary

Protected / Methods

Compute­Expression­Type

[Pure]
protected static method ComputeExpressionType → (1)

resolved in : CxNode

The resolved node, either a ICxTypeContainer or a CxDeclarationType.

returns → CxType

The resolved type or null.

Computes the expression type from the given resolved node.

protected abstract method ComputeExpressionType → ()

returns → CxType

The expression type or null iff not resolvable.

Computes the expression type.

This method is called from PsiNode.OnResolved.

See also

CxExpression.ExpressionType