Home   :   Matrix Language   :   Primitive Action Statements   :   Evaluation Statements

Evaluation Statements

 

Statements

 

Evaluation

Addition

Subtraction

Multiplication

Division

Dividend

Divisor

AdditionData

SubtractionData

MultiplicationData

 

 

General

 

Only data items of a numeric type may be evaluated.

 

A data item specified in an Evaluation statement on the left hand side can only appear once in this position in an assignment statement.

 

Data statements should always appear before the other evaluation statements.  This is not currently enforced by the Model Compiler but will be at some point in the future.

 

Type casting evaluation statements may be used to convert the result of a calculation to another compatible type.

 

 

Evaluation Statement

 

Assignment

Evaluation:Entity.Attribute

Addition

AdditionData

process_data

Entity.Attribute

 

Permitted item field formats:

 

    Evaluation (left hand side):

 

Entity.Integer_attribute

Entity.Fixed_attribute

Entity.Float_attribute

integer_process_data

fixed_process_data

float_process_data

 

    Calculation (right hand side):

 

<<IntegerOne>>

<<FixedOne>>

<<FloatOne>>

Entity.Integer_attribute

Entity.Fixed_attribute

Entity.Float_attribute

Integer_state_data

Fixed_state_data

Float_state_data

integer_process_data

fixed_process_data

float_process_data

+Entity.Integer_attribute

+Entity.Fixed_attribute

+Entity.Float_attribute

+Integer_state_data

+Fixed_state_data

+Float_state_data

+integer_process_data

+fixed_process_data

+float_process_data

-Entity.Integer_attribute

-Entity.Fixed_attribute

-Entity.Float_attribute

-Integer_state_data

-Fixed_state_data

-Float_state_data

-integer_process_data

-fixed_process_data

-float_process_data

 

 

Addition Statement

 

Assignment

Evaluation:integer_data

Addition

AdditionData

<<IntegerOne>>

Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| +(... + ... + ...)

|

\Addition         +(

...             +...

|               +

...             +...

|               +

...             +...

/Addition         )

 

 

Subtraction Statement

 

Assignment

Evaluation:integer_data

Subtraction

AdditionData

<<IntegerOne>>

Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| -(... + ... + ...)

|

\Subtraction          -(

...                 +...

|                   +

...                 +...

|                   +

...                 +...

/Subtraction          )

 

 

Multiplication Statement

 

Assignment

Evaluation:integer_data

Multiplication

AdditionData

<<IntegerOne>>

Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| +(... * ... * ...)

|

\Multiplication       +(

...                 +...

|                   *

...                 +...

|                   *

...                 +...

/Multiplication       )

 

 

Division Statement

 

Assignment

Evaluation:aaaa

Division

Dividend

Addition

AdditionData

bbbb

Divisor

Addition

AdditionData

cccc

 

Code Generation:

 

| +(+(...) / +(...))

|

\Division             +(

\Dividend           +(

...               ...

/Dividend           )

|                   /

\Divisor            +(

...               ...

/Divisor            )

/Division             )

 

 

Dividend Statement

 

Assignment

Evaluation:aaaa

Division

Dividend

Addition

AdditionData

bbbb

Divisor

Addition

AdditionData

cccc

 

Code Generation:

 

| +(...)

|

\Dividend         +(

...             ...

/Dividend         )

 

 

Divisor Statement

 

Assignment

Evaluation:aaaa

Division

Dividend

Addition

AdditionData

bbbb

Divisor

Addition

AdditionData

cccc

 

Code Generation:

 

| +(...)

|

\Divisor         +(

...            ...

/Divisor         )

 

 

AdditionData Statement

 

Assignment

Evaluation:integer_data

Addition

AdditionData

<<IntegerOne>>

-Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| +(1 + -Integer_data + Entity.Integer_attribute)

|

\AdditionData                     +(

1                               +1

|                               +

-Integer_data                   -Integer_data

|                               +

Entity.Integer_attribute        +Entity.Integer_attribute

/AdditionData                     )

 

 

SubtractionData Statement

 

Assignment

Evaluation:integer_data

Addition

SubtractionData

<<IntegerOne>>

-Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| -(1 + -Integer_data + Entity.Integer_attribute)

|

\SubtractionData                  -(

1                               +1

|                               +

-Integer_data                   -Integer_data

|                               +

Entity.Integer_attribute        +Entity.Integer_attribute

/SubtractionData                  )

 

 

MultiplicationData Statement

 

Assignment

Evaluation:integer_data

Addition

MultiplicationData

<<IntegerOne>>

-Integer_data

Entity.Integer_attribute

 

Code Generation:

 

| +(1 * -Integer_data * Entity.Integer_attribute)

|

\MultiplicationData               +(

1                               +1

|                               *

-Integer_data                   -Integer_data

|                               *

Entity.Integer_attribute        +Entity.Integer_attribute

/MultiplicationData               )

 

 

Example of Division

 

| aaaa := (bbbb/cccc) / dddd;

|

\Assignment

\Evaluation:aaaa                  aaaa =

\Division                         +(

\Dividend                         +(

\Addition                         +(

\Division                         +(

\Dividend                         +(

\Addition                         +(

\AdditionData                     +(

bbbb                              +bbbb

/AdditionData                     )

/Addition                         )

/Dividend                         )

|                                 /

\Divisor                          +(

\Addition                         +(

\AdditionData                     +(

cccc                              +cccc

/AdditionData                     )

/Addition                         )

/Divisor                          )

/Division                         )

/Addition                         )

/Dividend                         )

|                                 /

\Divisor                          +(

\Addition                         +(

\AdditionData                     +(

dddd                              +dddd

/AdditionData                     )

/Addition                         )

/Divisor                          )

/Division                         )

/Evaluation                       ;

/Assignment

Copyright 2017 Dark Matter Systems Ltd. All Rights Reserved.