//
//short version with combined expressions for and|or and +|-|*|/ ...
//

ExpressionBoolBinary returns OperationBool:
    ExpressionBoolUnary ({OperationBool.left=current}
    op=('AND'|'OR')
    right=ExpressionBoolBinary)?
    ;

ExpressionBoolUnary returns OperationBool:
    ('NOT')? unary=TerminalExpressionBool
    ;

//would be the terminal if bool only...
TerminalExpressionBool returns Operation:
    ExpressionBoolCompare |
    {BoolLiteral}  value = ('TRUE'|'FALSE')
    ;


ExpressionBoolCompare returns Operation:
    Expression ({Operation.left=current}
    op=('=='|'<'|'>')
    right=ExpressionBoolCompare)?
    ;

Expression returns Operation: 
    TerminalExpression ({Operation.left=current}
    op=('+'|'-'|'*'|'/')
    right=Expression)?
    ;

TerminalExpression returns Operation:
  '(' ExpressionBoolBinary ')' |
  {Function} func=('sin'|'cos') '(' param=IntLiteral ')'|
  literal=IntLiteral
;

IntLiteral: value = INT;

1 + 1 {openContentPropasal:[ AND|OR|NOT|+|-... ]} and not only [+|-|*|/|...].

BinaerOp		: '==' | '>=' | '<=' | '<' | '>' | '//' | '!=';
BoolOp			: '&' | '|';

// If-Conditions 
Condition:	SimpleCondition | CapsulatedConditionSequence;
SimpleCondition: (op1+=ConditionElement BinaerOp op2+=ConditionElement) | {ecore} INT; // | {ecore} Variable | Calculation [...] simplyfied here
ConditionElement: {ecore} INT; // again, very simplyfied
ConditionSequence: base=Condition sequence+=(ConditionConcatenation)*;
ConditionConcatenation: BoolOp Condition;
CapsulatedConditionSequence: '(' ConditionSequence ')';

if (1==1 & (1==2 | (1==1 & 2==2)) & 1 & 2) then {};