compilation/spf.lark

start: (instruction)*

instruction: type declaration TERMINAL
		   | assignation TERMINAL
		   | controls
		   | SHOW_KW expression ("," expression)* TERMINAL
		   | ADD_KW expression "dans" VARIABLE TERMINAL

expression: expressionleft // TODO: priorité des op certainement fausse
		  | gen_op
		  | bool_op
		  | int_op
		  | list_op

expressionleft: literal 
              | list
              | range
			  | VARIABLE

gen_op: expressionleft SAME_OP expression
	  | expressionleft DIFF_OP expression

bool_op: expressionleft AND_OP expression
       | expressionleft OR_OP expression
	   | NOT_OP expression

int_op: expressionleft LT_OP expression
      | expressionleft LE_OP expression
      | expressionleft GT_OP expression
      | expressionleft GE_OP expression
	  | expressionleft operator expression
	  | NEG_OP expression

list_op: expressionleft CONC_OP expression
       | expressionleft ("[" expression "]" | range)
	   | SIZE_OP expression

type: BOOL_TYPE
	| INT_TYPE 
	| STR_TYPE
	| LIST_TYPE

declaration: VARIABLE (EQUAL_SIGN expression)?

assignation: VARIABLE EQUAL_SIGN expression

loop: "tant" "que" expression "faire" "{" (instruction)* "}"
    | "pour" "chaque" type VARIABLE "dans" expression "faire" "{" (instruction)* "}"

literal: ENTIER
	   | booleen 
	   | ESCAPED_STRING

list: "[" expression? ("," expression)* "]"

range: "[" expression? ":" expression? "]"

controls: test
		| loop

test: "si" expression "alors" "{" instruction* "}"
    | "si" expression "alors" "{" instruction* "}" "sinon" "{" instruction* "}"


operator: PLUS_OP
		| MINUS_OP
		| TIMES_OP
		| DIVIDE_OP // TODO: not complete

TERMINAL: ";"

VAR_CHARS: /[a-zA-Zçâêîôûéàèìòùëïü_]/
VARIABLE: VAR_CHARS (VAR_CHARS | /[0-9]/)* 

EQUAL_SIGN: "="

ENTIER: /0|[1-9][0-9]*/

booleen: TRUE_KW 
	   | FALSE_KW

BOOL_TYPE: "booléen"
INT_TYPE: "entier"
STR_TYPE: "texte"
LIST_TYPE: "liste"

SAME_OP: "==" | "vaut"
DIFF_OP: "!=" | "ne" "vaut" "pas"

AND_OP: "et"
OR_OP: "ou"
NOT_OP: "not"

NEG_OP: "-"

PLUS_OP: "+"
MINUS_OP: "-"
TIMES_OP: "*"
DIVIDE_OP: "/"

LT_OP: "<"
LE_OP: "<="
GT_OP: ">"
GE_OP: ">="

CONC_OP: "+"
SIZE_OP: "taille"

ADD_KW: "ajouter"
SHOW_KW: "afficher"

TRUE_KW: "vrai"
FALSE_KW: "faux"

%import common.ESCAPED_STRING

COMMENT: /#[^\n]*/
%ignore COMMENT

%import common.WS
%ignore WS