0    [main] ERROR xt.linking.lazy.LazyLinkingResource  - resolution of uriFragment '|2' failed.
java.lang.NullPointerException
	at org.blockchain.rell.scoping.RellScopeProvider.getVarDeclList(RellScopeProvider.java:273)
	at org.blockchain.rell.scoping.RellScopeProvider.getVariableDeclarationRefScope(RellScopeProvider.java:91)
	at org.blockchain.rell.scoping.RellScopeProvider.getScope(RellScopeProvider.java:314)

grammar org.blockchain.rell.Rell with org.eclipse.xtext.common.Terminals

generate rell "http://www.blockchain.org/rell/Rell"

Model:
	entities+=ClassDefinition*
	operations+=Operation*;

ClassDefinition:
	('class' | 'record') name=ID ('extends' superType=[ClassDefinition])? '{'
	attributeListField+=AttributeListField*
	'}';

AttributeListField:
	mutable=Mutable? key=Key? index=Index? attributeList+=RelAttrubutesList ';';

Operation:
	"operation" name=ID "(" parameters=RelAttrubutesList? ")" "{" statements+=Statement* "}";


Statement:
	(methodCall=DotValue|relation=Update | variable=OperationVariable | varInitiation=VarInitiation) ';';

VarInitiation:
	name=VariableDeclarationRef (('[' expr=Expression']')?) (ASSIGNMENT expression=Expression)?;

OperationVariable:
	assessModificator=(Var | Val) variable=Variable;

Variable:
	name=VariableDeclaration ((ASSIGNMENT expression=Expression)?);


Update:
	'update' entity=TableNameWithAlias (('@' '{' ((conditions+=Expression (',' conditions+=Expression)*)?) '}')?) '('
	createWhatPart+=CreateWhatPart (','
	createWhatPart+=CreateWhatPart)*
	')';

CreateWhatPart:
	 (DOT? varDeclRef=VariableDeclarationRef ASSIGNMENT)?
	condition+=Expression;



ClassMemberDefinition:
	(classRef=[TableNameWithAlias])? DOT (variableDeclarationRef=VariableDeclarationRef);



TableNameWithAlias:
	classRefDecl=ClassRefDecl |
	justNameDecl=JustNameDecl;



ClassRefDecl:name=ID DOUBLE_QUOTE classDef=[ClassDefinition];
JustNameDecl:name=[ClassDefinition];

VariableDeclarationRef:
	name=[VariableDeclaration|ValuableID];




AccessToList:
	'[' expr=Expression ']';

Expression:
	or=Or;

Or returns Expression:
	And ({Or.left=current} "or" right=And)*;

And returns Expression:
	Equality ({And.left=current} "and" right=Equality)*;

Equality returns Expression:
	Comparison ({Equality.left=current} op=EQUALS
	right=Comparison)*;

Comparison returns Expression:
	PlusOrMinus ({Comparison.left=current} op=EQUALS
	right=PlusOrMinus)*;

PlusOrMinus returns Expression:
	MulOrDiv (({Plus.left=current} PlusChar | {Minus.left=current} MinusChar)
	right=MulOrDiv)*;

MulOrDiv returns Expression:
	Primary ({MulOrDiv.left=current} op=(MulChar | DivChar)
	right=Primary)*;

Primary returns Expression:
	'(' Expression ')' |
	{Not} "not" expression=Primary |
	DotValue;
	

Atomic returns Expression:
	{IntConstant} value=IntWithMinus 
	|{StringConstant} value=STRING |
	{ByteArrayConstant} value=BYTE_ARRAY_VALUE |
	{BoolConstant} value=('true' | 'false') 
	
	| {TheNull} value=NULL
	|{ClassMemberDef} value=ClassMemberDefinition
	| {VariableDeclarationRef} value=VariableDeclarationRef
	
	;

DotValue:
	atom=Atomic  ((accesToList=AccessToList?) DOT dotPart=DotValue)?;

MapCreationPart:
	exprKey=Expression DOUBLE_QUOTE exprValue=Expression;

RelAttrubutesList:
	value+=Variable (',' value+=Variable)*;

VariableDeclaration:
	name=ValuableID ((DOUBLE_QUOTE type=TypeReference)?);


TypeReference:
	type=PrimitiveType | entityType=[ClassDefinition] ;




PrimitiveType:
	Text | Tuid | Pubkey | Name | Integer  | Boolean;

ValuableID:
	PrimitiveType | ID;



IntWithMinus:
	MinusChar? INT;

Name:
	'name';

Pubkey:
	'pubkey';

Timestamp:
	'timestamp';

Tuid:
	'tuid';

Boolean:
	'boolean';



Integer:
	'integer';

Text:
	'text';


Key:
	'key';

Index:
	'index';

Mutable:
	'mutable';

Var:
	'var';

Val:
	'val';



PlusChar:
	'+';

MinusChar:
	'-';

MulChar:
	'*';

DivChar:
	'/';



	
terminal ASSIGNMENT:'=';


terminal EQUALS:
	'==';



terminal DOUBLE_QUOTE:
	':';

terminal NULL:
	'null';
	
terminal DOT:'.';

terminal BYTE_ARRAY_CHAR:
	'0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'A' | 'B' | 'C' | 'D'
	| 'E' | 'F';

terminal BYTE_ARRAY_PAIR:
	BYTE_ARRAY_CHAR BYTE_ARRAY_CHAR;

terminal BYTE_ARRAY_VALUE:
	'x' (('\'' BYTE_ARRAY_PAIR* '\'') | ('"' BYTE_ARRAY_PAIR* '"'));

/*
 * generated by Xtext 2.10.0
 */
package org.blockchain.rell.scoping

import java.util.List
import javax.inject.Inject
import org.blockchain.rell.rell.AttributeListField
import org.blockchain.rell.rell.ClassDefinition
import org.blockchain.rell.rell.ClassMemberDef
import org.blockchain.rell.rell.ClassMemberDefinition
import org.blockchain.rell.rell.CreateWhatPart
import org.blockchain.rell.rell.DotValue
import org.blockchain.rell.rell.Expression
import org.blockchain.rell.rell.JustNameDecl
import org.blockchain.rell.rell.Operation
import org.blockchain.rell.rell.TableNameWithAlias
import org.blockchain.rell.rell.Update
import org.blockchain.rell.rell.VariableDeclaration
import org.blockchain.rell.rell.VariableDeclarationRef
import org.blockchain.rell.typing.RellClassType
import org.blockchain.rell.typing.RellModelUtil
import org.blockchain.rell.typing.RellTypeProvider
import org.eclipse.emf.common.util.EList
import org.eclipse.emf.ecore.EObject
import org.eclipse.emf.ecore.EReference
import org.eclipse.xtext.EcoreUtil2
import org.eclipse.xtext.scoping.IScope
import org.eclipse.xtext.scoping.Scopes
import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider

/**
 * This class contains custom scoping description.
 * 
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
 * on how and when to use it.
 */
class RellScopeProvider extends AbstractDeclarativeScopeProvider {

	@Inject extension RellTypeProvider
	
	
	def IScope getVariableDeclarationRefScope(VariableDeclarationRef variableDeclarationRef, EReference ref) {

		val container = variableDeclarationRef.eContainer;

		switch (container) {
			case (container instanceof VariableDeclarationRef): {

				if (container.eContainer instanceof DotValue) {
					val dotValue = container.eContainer as DotValue
					val parent = dotValue.eContainer

					switch (parent ) {
						
						case (parent.eContainer instanceof CreateWhatPart): {
							val scope = makeWhatPartVariableDeclarations(parent.eContainer)
							val operation = EcoreUtil2.getContainerOfType(variableDeclarationRef, Operation)
							if (operation !== null) {
								var operationVars = RellModelUtil.usedVariables(operation as Operation).filter [ variableInfo |
									variableInfo.declared
								].map[variableInfo|variableInfo.variableDeclaration]
								scope.addAll(operationVars)
							}
							return Scopes::scopeFor(scope)
						}
					}
				}
			}
			case (container instanceof ClassMemberDefinition): {

				val classMemberDefinition = container as ClassMemberDefinition;
				val classRef = classMemberDefinition.classRef;
				if (classRef !== null) {
					val varDeclList = classRef.getVarDeclList
					return Scopes::scopeFor(varDeclList)

				} else {
					val relContainer = variableDeclarationRef.relationalContainer
					switch (relContainer) {
						case (relContainer instanceof Update): {
							return (relContainer as Update).getVariableDeclarationRefScope
						}
					}
				}

			}
			case (container instanceof CreateWhatPart): {
				return Scopes::scopeFor(makeWhatPartVariableDeclarations(container))
			}
			
		}

		return super.getScope(variableDeclarationRef, ref)

	}

	protected def IScope variableDeclarationRefScope(VariableDeclarationRef variableDeclarationRef, EObject container,
		EReference ref) {
		switch (container) {
			
			case (container instanceof ClassMemberDefinition): {
				val notNotExprContainer = (container as ClassMemberDefinition).notClassMemberDefinition
				switch (notNotExprContainer) {
					
					case (notNotExprContainer instanceof DotValue): {

						val parentDotValue = notNotExprContainer as DotValue;
						val atom = parentDotValue.atom;

						switch (atom) {
							case (atom instanceof ClassMemberDefinition): {

								val classMemberDefinition = atom as ClassMemberDefinition;
								val variableDclarationRef = classMemberDefinition.variableDeclarationRef
								if (variableDclarationRef != null) {

									val typeFor = variableDclarationRef.typeFor
									// EcoreUtil2.getContainerOfType()
									if (typeFor instanceof RellClassType) {
										val variableDeclarationList = (typeFor as RellClassType).rellClassDefinition.
											attributeListField.makeVariableDeclarationList
										return Scopes::scopeFor(variableDeclarationList)
									}
								}

							}
						}
					}
				}

			}
			
			case (container instanceof Update): {
				val update = container as Update
				return Scopes::scopeFor(update.entity.makeVariableDeclarationList)
			}
			case (container instanceof CreateWhatPart): {
				return Scopes::scopeFor(container.makeWhatPartVariableDeclarations)

			}
			
			default: {
				val scope = super.getScope(variableDeclarationRef, ref)
				// println("scope"+scope.allElements)
				return scope;
			}
		}
		val scope = super.getScope(variableDeclarationRef, ref)
		return scope;
	}

	protected def List<VariableDeclaration> makeWhatPartVariableDeclarations(EObject container) {
		var ClassDefinition en;
		switch (container.eContainer) {
			case container.eContainer instanceof Update: {
				en = (container.eContainer as Update).entity.getClassDefinitionByTableNameWithAlias
			}
			
		}

		return en.attributeListField.makeVariableDeclarationList

	}

	protected def List<VariableDeclaration> makeVariableDeclarationList(EList<AttributeListField> attrubuteListField) {
		val List<VariableDeclaration> variableDeclarationList = newArrayList;
		attrubuteListField.forEach [ x |
			if (x.attributeList !== null) {
				x.attributeList.forEach [ attrList |
					if (attrList !== null && attrList.value !== null) {
						attrList.value.forEach [ variable |
							{
								if (variable !== null) {
									variableDeclarationList.add(variable.name)
								}
							}
						]
					}
				]
			}
		]
		variableDeclarationList
	}

	protected def getClassDefinitionByTableNameWithAlias(TableNameWithAlias tableNameWithAlias) {
			switch (tableNameWithAlias) {
			case (tableNameWithAlias.classRefDecl!==null): {
				return (tableNameWithAlias.classRefDecl).classDef
			}
			case (tableNameWithAlias.justNameDecl!==null): {
				return (tableNameWithAlias as JustNameDecl).name
			}
		}
	}

	protected def List<VariableDeclaration> makeVariableDeclarationList(TableNameWithAlias tableNameWithAlias) {
		val attributeListField = tableNameWithAlias.getClassDefinitionByTableNameWithAlias.attributeListField
		
		val List<VariableDeclaration> variableDeclarationList = newArrayList;
		attributeListField.forEach [ x |
			if (x.attributeList !== null) {
				x.attributeList.forEach [ attrList |
					if (attrList !== null && attrList.value !== null) {
						attrList.value.forEach [ variable |
							{
								if (variable !== null) {
									variableDeclarationList.add(variable.name)
								}
							}
						]
					}
				]
			}
		]
		variableDeclarationList
	}



	def IScope getClassMemberDefinition(ClassMemberDefinition classMemberDefinition, EObject processedObject,
		EReference ref) {
		val notExprConst = classMemberDefinition.eContainer.notExressionContainer

		switch (notExprConst) {
			case (notExprConst instanceof Update): {

				return (notExprConst as Update).getClassMemberDefScope;
			}
			
		}
		return super.getScope(processedObject, ref);
	}

	
	def getClassMemberDefScope(Update update) {
		val List<TableNameWithAlias> classDefList = newArrayList
		classDefList.add(update.entity)
		return Scopes::scopeFor(classDefList);
	}

	
	/**
	 * Return the variable declaration names scope for Update
	 */
	def getVariableDeclarationRefScope(Update update) {
		val List<VariableDeclaration> classDefList = makeVariableDeclarationList(update.entity.getClassDefinitionByTableNameWithAlias.attributeListField)

		return Scopes::scopeFor(classDefList);
	}

	def getVarDeclList(TableNameWithAlias tableNameWithAlias) {

		var EList<AttributeListField> attrubuteListField = tableNameWithAlias.getClassDefinitionByTableNameWithAlias.attributeListField
		if (attrubuteListField === null) {
			return newArrayList
		}
		return makeVariableDeclarationList(attrubuteListField);
	}

	def notExressionContainer(EObject context) {
		var privateContainer = context
		while (privateContainer instanceof Expression) {
			privateContainer = privateContainer.eContainer
		}
		return privateContainer;
	}

	def relationalContainer(EObject context) {
		var privateContainer = context
		while (!(privateContainer instanceof Update)) {
			privateContainer = privateContainer.eContainer
		}
		return privateContainer;
	}

	def notClassMemberDefinition(EObject context) {
		var privateContainer = context
		while (privateContainer instanceof ClassMemberDefinition) {
			privateContainer = privateContainer.eContainer
		}
		return privateContainer;
	}

	override IScope getScope(EObject context, EReference reference) {
		switch (context) {
			case (context === null):
				return IScope.NULLSCOPE
			case (context instanceof VariableDeclarationRef): {
				return getVariableDeclarationRefScope(context as VariableDeclarationRef, reference);
			}

		}
		return super.getScope(context, reference);

	}

}

protected def getClassDefinitionByTableNameWithAlias(TableNameWithAlias tableNameWithAlias) {
			switch (tableNameWithAlias) {
			case (tableNameWithAlias.classRefDecl!==null): {
				return (tableNameWithAlias.classRefDecl).classDef
			}
			case (tableNameWithAlias.justNameDecl!==null): {
				return (tableNameWithAlias as JustNameDecl).name
			}
		}
	}

public class MyDslQualifiedNameProvider extends DefaultDeclarativeQualifiedNameProvider {
	
	public QualifiedName qualifiedName(TableNameWithAlias t) {
		QualifiedName result = null;
		if (t.getClassRefDecl() != null) {
			if (t.getClassRefDecl().getName() != null) {
				result = getConverter().toQualifiedName(t.getClassRefDecl().getName());
			}
		}
		if (t.getJustNameDecl() != null) {
			List<INode> nodes = NodeModelUtils.findNodesForFeature(t.getJustNameDecl(), MyDslPackage.Literals.JUST_NAME_DECL__NAME);
			if (!nodes.isEmpty()) {
				result = getConverter().toQualifiedName(nodes.get(0).getText());
			}
		}
		return result;
	}

}

	protected def getClassDefinitionByTableNameWithAlias(TableNameWithAlias tableNameWithAlias) {
			switch (tableNameWithAlias) {
			case (tableNameWithAlias.classRefDecl!==null): {
				return (tableNameWithAlias.classRefDecl).classDef
			}
			case (tableNameWithAlias.justNameDecl!==null): {
				return (tableNameWithAlias as JustNameDecl).name
			}
		}
	}

case (tableNameWithAlias.justNameDecl!==null): {
				return tableNameWithAlias.justNameDecl.name
			}

@Test
	def void testUpdateOperationFullAccess() {
		assertParsingTrue('''
			class foo { key k: integer; mutable name; }
			operation op() {
			    update foo @{foo.k == 122}(name = "new_name");    
			}
		''')
	}
........
def void assertParsingTrue(String codeSnippet) {
		val result = parseHelper.parse(codeSnippet)
		Assert.assertNotNull(result);
		Assert.assertNotNull(result.eResource)
		Assert.assertNotNull(result.eResource.errors)
		val errors = result.eResource.errors

		Assert.assertTrue( '''Unexpected errors: «errors.join(", ")»''', errors.empty)

		result.assertNoErrors
	}

protected def getClassDefinitionByTableNameWithAlias(TableNameWithAlias tableNameWithAlias) {
		switch (tableNameWithAlias) {
			case (tableNameWithAlias.classRefDecl !== null): {
				return (tableNameWithAlias.classRefDecl).classDef
			}
			case (tableNameWithAlias.justNameDecl !== null): {
				return tableNameWithAlias.justNameDecl.name
			}
		}
	}

grammar org.blockchain.rell.Rell with org.eclipse.xtext.common.Terminals

generate rell "http://www.blockchain.org/rell/Rell"

Model:
	entities+=ClassDefinition*
	operations+=(Operation | Query | Function)*;

ClassDefinition:
	('class' | 'record' | 'object') name=ID ('extends' superType=[ClassDefinition])? LEFT_BRACE
	attributeListField+=AttributeListField*
	RIGHT_BRACE;

AttributeListField:
	mutable=Mutable? key=Key? index=Index? attributeList+=RelAttrubutesList ';';

Operation:
	"operation" name=ID LEFT_BRACKET parameters=RelAttrubutesList? RIGHT_BRACKET LEFT_BRACE statements+=Statement*
	('return'
	returnExr=Expression ';')? RIGHT_BRACE;

Query:
	"query" name=ID LEFT_BRACKET parameters=RelAttrubutesList? RIGHT_BRACKET
	(DOUBLE_QUOTE type=TypeReference)?
	((ASSIGNMENT returnExr=Expression ';') |
	(LEFT_BRACE
	statements+=Statement*
	(('return' returnExr=Expression ';')?)
	RIGHT_BRACE));

Function:
	"function" name=ID LEFT_BRACKET parameters=RelAttrubutesList? RIGHT_BRACKET
	(DOUBLE_QUOTE type=TypeReference QuestionChar?)?
	((ASSIGNMENT returnExr=Expression ';') |
	(LEFT_BRACE
	statements+=Statement*
	(('return' returnExr=Expression ';')?)
	RIGHT_BRACE));

Statement:
	(relation=Relational | variable=OperationVariable | varInitiation=VarInitiation | methodCall=DotValue) ';';

VarInitiation:
	name=Expression ASSIGNMENT
	expression=Expression;

OperationVariable:
	assessModificator=(Var | Val) variable=Variable;

Variable:
	name=VariableDeclaration ((ASSIGNMENT expression=Expression)?);

Relational:
	AtOperator | Update | Delete | Create;

Update:
	'update' (tableNameWithAlias+=TableNameWithAlias | LEFT_BRACKET tableNameWithAlias+=TableNameWithAlias (','
	tableNameWithAlias+=TableNameWithAlias)* RIGHT_BRACKET) ((Ampersand LEFT_BRACE ((conditions+=Expression (','
	conditions+=Expression)*)?) RIGHT_BRACE)?) LEFT_BRACKET
	createWhatPart+=CreateWhatPart (','
	createWhatPart+=CreateWhatPart)*
	RIGHT_BRACKET;

Delete:
	'delete' (tableNameWithAlias+=TableNameWithAlias | LEFT_BRACKET tableNameWithAlias+=TableNameWithAlias (','
	tableNameWithAlias+=TableNameWithAlias)* RIGHT_BRACKET) Ampersand LEFT_BRACE conditions+=Expression (','
	conditions+=Expression)* RIGHT_BRACE;

Create:
	'create' (tableNameWithAlias+=TableNameWithAlias | LEFT_BRACKET tableNameWithAlias+=TableNameWithAlias (','
	tableNameWithAlias+=TableNameWithAlias)* RIGHT_BRACKET) LEFT_BRACKET (createWhatPart+=CreateWhatPart (','
	createWhatPart+=CreateWhatPart)*)? RIGHT_BRACKET;

	//There are problem with record part. So will check it in the validatiie
CreateClassPart:
	(entity=[ClassDefinition]) LEFT_BRACKET (createWhatPart+=CreateWhatPart (','
	createWhatPart+=CreateWhatPart)*)? RIGHT_BRACKET;

CreateWhatPart:
	(ASSIGNMENT? DOT? varDeclRef=VariableDeclarationRef (ASSIGNMENT | PLUS_ASSGIN | MINUS_ASSGIN | DIV_ASSGIN |
	MUL_ASSGIN))?
	condition+=Expression;

AtOperator:
	(tableNameWithAlias+=TableNameWithAlias |
	(LEFT_BRACKET
	tableNameWithAlias+=TableNameWithAlias (',' tableNameWithAlias+=TableNameWithAlias)*
	RIGHT_BRACKET))
	Ampersand
	(ampersandModificator=AmpersandModificator?)
	LEFT_BRACE
	(ASSIGNMENT? conditions+=Expression (',' ASSIGNMENT? conditions+=Expression)*)?
	RIGHT_BRACE
	(tupleValue=TupleValue?);

TupleValue:
	LEFT_BRACKET members+=TupleValueMember (',' tuplePart+=TupleValueMember)* RIGHT_BRACKET;

ListCreation:
	LEFT_SQUARE_BRACE arguments=Arguments RIGHT_SQUARE_BRACE (DOT EMBEDDED_METHOD
	listMethodArguments+=ArgumentsInBrackets)*;

MapCreation:
	LEFT_SQUARE_BRACE mapPart+=MapCreationPart (',' mapPart+=MapCreationPart)* RIGHT_SQUARE_BRACE;

TupleValueMember:
	(name=ValuableID ASSIGNMENT)? value=Expression;

ClassMemberDefinition:
	(classRef=[TableNameWithAlias])? DOT (variableDeclarationRef=VariableDeclarationRef);

TableNameWithAlias:
	classRefDecl=ClassRefDecl |
	justNameDecl=JustNameDecl;

ClassRefDecl:
	name=ID DOUBLE_QUOTE classDef=[ClassDefinition];

JustNameDecl:
	name=[ClassDefinition];

VariableDeclarationRef:
	name=[VariableDeclaration|ValuableID];

MethodCall:
	name=MethodName ((listSpec=ListSpecification | mapSpec=MapSpecification)?) arguments=ArgumentsInBrackets;

OperationQueryOFunctionCall:
	(name=[Query] | name=[Operation] | name=[Function]) arguments=ArgumentsInBrackets;

Arguments:
	listPart+=Expression (',' listPart+=Expression)*;

ArgumentsInBrackets:
	LEFT_BRACKET arguments=Arguments? RIGHT_BRACKET;

MethodName:
	EMBEDDED_METHOD;

AccessToList:
	LEFT_SQUARE_BRACE expr=Expression RIGHT_SQUARE_BRACE;

Expression:
	or=Or;

Or returns Expression:
	And ({Or.left=current} "or" right=And)*;

And returns Expression:
	Equality ({And.left=current} "and" right=Equality)*;

Equality returns Expression:
	Comparison ({Equality.left=current} op=(EQUALS | NOT_EQUALS | EQUALSS | NOT_EQUALSS)
	right=Comparison)*;

Comparison returns Expression:
	PlusOrMinus ({Comparison.left=current} op=(MORE_EQUAL | LESS_EQUAL | MORE | LESS | IN)
	right=PlusOrMinus)*;

PlusOrMinus returns Expression:
	MulOrDiv (({Plus.left=current} PlusChar | {Minus.left=current} MinusChar)
	right=MulOrDiv)*;

MulOrDiv returns Expression:
	Primary ({MulOrDiv.left=current} op=(MulChar | DivChar | Percent)
	right=Primary)*;

Primary returns Expression:
	DotValue;

UnaryOperation:
	prefixChar=(PlusChar | MinusChar | MulChar | DivChar | NOT) expression=Primary;

ExprInBrackets:
	(LEFT_BRACKET expr=Expression RIGHT_BRACKET);

DotValue:
	atom=Atomic (accesToList=AccessToList?) ((DOT dotPart=DotValue)?);

Atomic returns Expression:
	{ExprInBrackets} value=ExprInBrackets
	| {UnaryOperation} value=UnaryOperation
	| {IntConstant} value=IntWithMinus
	| {StringConstant} value=STRING |
	{ByteArrayConstant} value=BYTE_ARRAY_VALUE |
	{BoolConstant} value=('true' | 'false') |
	{SelectOp} value=AtOperator |
	{CreateAtom} value=Create
	| {TupleRes} value=TupleValue
	| {ListCreation} value=ListCreation
	| {MapCreation} value=MapCreation
	| {TheNull} value=NULL
	| {OneParamMethodCall} value=OneParamMethodCall
	| {TwoParamsMethodCall} value=TwoParamsMethodCall
	| {MultiParamsMethodCall} value=MultiParamsMethodCall
	| {MethodCall} value=MethodCall
	| {OperationQueryOFunctionCall} value=OperationQueryOFunctionCall
	| {CreateClassPart} value=CreateClassPart
	| {ClassMemberDef} value=ClassMemberDefinition
	| {VariableDeclarationRef} value=VariableDeclarationRef;

MapCreationPart:
	exprKey=Expression DOUBLE_QUOTE exprValue=Expression;

RelAttrubutesList:
	value+=Variable (',' value+=Variable)*;

VariableDeclaration:
	name=ValuableID ((DOUBLE_QUOTE type=TypeReference)?);

TupleVarDeclaration:
	(name=ValuableID DOUBLE_QUOTE)? type=TypeReference;

TypeReference:
	type=PrimitiveType | entityType=[ClassDefinition] | tuple=TupleType | list=ListType | set=SetType | map=MapType;

ListType:
	List ListSpecification;

SetType:
	Set ListSpecification;

MapType:
	Map MapSpecification;

ListSpecification:
	LESS listType=TypeReference (QuestionChar?) MORE (QuestionChar?);

MapSpecification:
	LESS keySpec=TypeReference (QuestionChar?) ',' valSpec=TypeReference (QuestionChar?) MORE;

TupleType:
	LEFT_BRACKET varDecl+=TupleVarDeclaration (QuestionChar?) (',' varDecl+=TupleVarDeclaration (QuestionChar?))*
	RIGHT_BRACKET;

OneParamMethodCall:
	methodName=ONE_PARAM_METHOD LEFT_BRACKET arg=Expression RIGHT_BRACKET;

TwoParamsMethodCall:
	methodName=TWO_PARAMS_METHOD LEFT_BRACKET arg1=Expression ',' arg2=Expression RIGHT_BRACKET;

MultiParamsMethodCall:
	methodName=MULTI_PARAMS_METHOD args=ArgumentsInBrackets;

PrimitiveType:
	Text | Tuid | Pubkey | Name | Timestamp | Integer | Json | ByteArray | Boolean;

ValuableID:
	PrimitiveType | ID;

AmpersandModificator:
	PlusChar | MulChar | QuestionChar;

IntWithMinus:
	MinusChar? INT;

Name:
	'name';

Pubkey:
	'pubkey';

Timestamp:
	'timestamp';

Tuid:
	'tuid';

Boolean:
	'boolean';

Json:
	'json';

Integer:
	'integer';

Text:
	'text';

ByteArray:
	'byte_array';

List:
	'list';

Map:
	'map';

Set:
	'set';

Key:
	'key';

Index:
	'index';

Mutable:
	'mutable';

Var:
	'var';

Val:
	'val';

Ampersand:
	'@';

QuestionChar:
	'?';

PlusChar:
	'+';

MinusChar:
	'-';

MulChar:
	'*';

DivChar:
	'/';

Percent:
	'%';

EMBEDDED_METHOD:
	"add" | "addAll" | "contains" | "containsAll" | "removeAll" | "calculate" | "sub" | "size" |
	"removeAt" | "clear" | "requireNotEmpty" | "upperCase" | "lowerCase" | "_map" | "map" | "_list" | "list" | "set" |
	"_set" | "empty" | "get" |
	"str" | "put" | "putAll" | "remove" | "keys" | "values";

ONE_PARAM_METHOD:
	'abs' | 'is_signer' | 'json';

TWO_PARAMS_METHOD:
	'max' | 'min';

MULTI_PARAMS_METHOD:
	'log' | 'print';

terminal IN:
	'in';

terminal RIGHT_SQUARE_BRACE:
	']';

terminal LEFT_SQUARE_BRACE:
	'[';

terminal RIGHT_BRACE:
	'}';

terminal LEFT_BRACE:
	'{';

terminal RIGHT_BRACKET:
	')';

terminal LEFT_BRACKET:
	'(';

terminal NOT:
	'not';

terminal ASSIGNMENT:
	'=';

terminal DIV_ASSGIN:
	'/=';

terminal MUL_ASSGIN:
	'*=';

terminal PLUS_ASSGIN:
	'+=';

terminal MINUS_ASSGIN:
	'-=';

terminal EQUALS:
	'==';

terminal EQUALSS:
	'===';

terminal NOT_EQUALS:
	'!=';

terminal NOT_EQUALSS:
	'!==';

terminal MORE_EQUAL:
	'>=';

terminal LESS_EQUAL:
	'<=';

terminal MORE:
	'>';

terminal LESS:
	'<';

terminal DOUBLE_QUOTE:
	':';

terminal NULL:
	'null';

terminal DOT:
	'.';

terminal BYTE_ARRAY_CHAR:
	'0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'A' | 'B' | 'C' | 'D'
	| 'E' | 'F';

terminal BYTE_ARRAY_PAIR:
	BYTE_ARRAY_CHAR BYTE_ARRAY_CHAR;

terminal BYTE_ARRAY_VALUE:
	'x' (('\'' BYTE_ARRAY_PAIR* '\'') | ('"' BYTE_ARRAY_PAIR* '"'));