Block: 
	{Block} (stats+=Stat (=>';')?)*  
;

Stat returns Stat:
	AssignmentOrFunctionCall 
;

AssignmentOrFunctionCall returns Stat:
	PrefixExp (
		({FunctionCall.functionCall=current}) |
	   	({Assignment.vars+=current} (',' vars+=PrefixExp)* =>'=' expList=ExpList)
	)
;

// This rule is only used to stay close to the Lua syntax reference documentation, where prefixexp is a rule
PrefixExp returns Exp:
	SuffixExp
;

SuffixExp returns Exp:
	Var =>(
		':' {MemberFuncCall.object=current} name=[Var|LUA_NAME] args=Args |
		{FuncCall.object=current} args=Args |
		'[' {VarArrayAccess.array=current} index=Exp ']' |
		'.' {VarMemberAccess.object=current} name=[Var|LUA_NAME] 
	)*
;

Var returns Exp:
	'(' Exp ')' |
	{Var} name=[Var|LUA_NAME] // I'm attempting to implement cross-references and scoping with this name=[Var|LUA_NAME]
;

Args: 
	{ParamArgs} '(' (params=ExpList)? ')' | 
	//TableConstructor | ommitted for simplicity of example
	{LiteralStringArg} str=LUA_STRING 
;

Exp:
	ExpPrimary
;

ExpPrimary returns Exp:
	PrefixExp |
	{ExpNumberLiteral} value=NUMBER_LITERAL | 
	{ExpStringLiteral} value=LUA_STRING 
	// {ExpNil} 'nil' | {ExpFalse} 'false' | ...
;

ExpList: 
	 exps+=Exp ( =>',' exps+=Exp)*
;

stat ::=   varlist '=' explist 

var ::=  Name | prefixexp '[' exp ']' | prefixexp '.' Name 

prefixexp ::= var | functioncall | '(' exp ')'

functioncall ::=  prefixexp args | prefixexp ':' Name args

var = 1 // var should be referenceable, i.e. have a QualifiedName
a = var // var should reference the previously declared var

var = 1 // creates the EObject Var (now with an attribute "name"=var)
a = var // creates two EObjects Var (with "name"=a and "name"=var)

Block 
        Assignment 
            Var (name: var) // 1. Var EObject with name "var" (should be Referenceable)
            ExpList 
                ExpNumberLiteral (value: 1.0)
        Assignment 
            Var (name: a) 
            ExpList 
                Var (name: var) // 2. Var EObject  with name "var" (should be Referencing)

AssignmentOrFunctionCall returns Stat:
	PrefixExp (
		({FunctionCall.functionCall=current}) | // a functioncall is parsed by the PrefixExp rule
	   	({Assignment.vars+=current} (',' vars+=PrefixExp)* =>'=' expList=ExpList) // so are assignments, and some Expressions: The ExpList contains Expressions, which can be resolved to PrefixExps
	)
;

AssignmentOrFunctionCall returns Stat:
	PrefixExp (
		({FunctionCall.functionCall=current}) |
	   	({Assignment.vars+=current} (',' vars+=PrefixExp)* =>'=' expList=ExpList)
	)
;

// This rule is only used to stay close to the Lua syntax reference documentation, where prefixexp is a rule
PrefixExp returns Exp:
	SuffixExp
;

SuffixExp returns Exp:
	Var =>(
		':' {MemberFuncCall.object=current} name=LUA_NAME args=Args | // denotes functioncall
		{FuncCall.object=current} args=Args |  // denotes functioncall
		'[' {VarArrayAccess.array=current} index=Exp ']' | // denotes variable access
		'.' {VarMemberAccess.object=current} name=LUA_NAME  // denotes variable access
	)*
;

Var returns Exp:
	'(' Exp ')' |
	{Var} name=LUA_NAME
;

Stat returns Stat:
	//AssignmentOrFunctionCall // now split into FunctionCall and Assignment
	FunctionCall |
	Assignment
;


Assignment:
	vars+=Var (',' vars+=Var)* =>'=' expList=ExpList
;

// FunctionCall rules need cross-references
FunctionCall returns Exp:
	FunctionCallInfix =>(
		':' {MemberFuncCall.object=current} ref=[Ref|LUA_NAME] =>args=Args |
		{FuncCall.object=current} =>args=Args 
	)
;

FunctionCallInfix returns Exp:
	FunctionCallPrefix =>(
		':' {MemberFuncCall.object=current} ref=[Ref|LUA_NAME] args=Args |
		{FuncCall.object=current} args=Args |
		'[' {FuncCallTableAccess.array=current} index=Exp ']' |
		'.' {FuncCallMemberAccess.object=current} ref=[Ref|LUA_NAME]
	)*
;

FunctionCallPrefix returns Exp:
	'(' Exp ')' |
	ref=[Ref|LUA_NAME]
;


// Var rules need a name to reference to
Var returns Var:
	-> name=LUA_NAME |
	VarInfix => (
		=>'[' {VarTableAccess.array=current} index=Exp ']' |
		=>'.' {VarMemberAccess.object=current} name=LUA_NAME
	)
;

VarInfix returns Var:
	VarPrefix =>(
		':' {VarMemberFuncCall.object=current} name=LUA_NAME args=Args |
		{VarFuncCall.object=current} args=Args |
		'[' {VarTableAccess.array=current} index=Exp ']' |
		'.' {VarMemberAccess.object=current} name=LUA_NAME
	)*
;

VarPrefix returns Var:
	'(' Exp ')' |
	 {Var} name=LUA_NAME
;