grammar MiniSQL;

Number : '-'?[0-9.]+ ;
Name : [0-9a-z_]+ ;
String : '\'' (.)+? '\''
	;
NEWLINE:'\r'?'\n'
	;
 
perm : 'select' | 'update';
 
withGrant: 'with grant option';

type : 'int'
 | 'long'
 | 'float'
 | 'double'
 | 'char' '(' Number ')' 
 ;

op : '='|'>'|'<'|'>='|'<='|'<>';

value : Number
 | String
 | 'null'
	;
	
join: 'join' | 'left outer join' | 'right outer join' |'full outer join';

WS: [ \t\r\n]+ -> skip;

lop: 'and'|'or';

sql : 'create table' Name '(' schema ')' #create
 | 'drop table' Name #drop
 | 'insert into' Name 'values' '(' values ')' #insertA
 | 'insert into' Name '(' names ')' 'values' '(' values ')' #insertB
 | 'delete from' Name 'where' logictree #delete
 | 'update' Name 'set' set 'where' logictree #update
 | 'select' (cnames|'*') 'from' jnames ('where' clogictree )? #selectB
 | 'select' (names|'*') 'from' Name ('where' logictree)? #selectA
 | 'create database' Name #createdb
 | 'drop database' Name #dropdb
 | 'use database' Name #usedb
 | 'show databases' #show
 | 'show database' Name #showdb
 | 'create user' Name 'password' Name #createUser
 | 'grant' perm 'on' Name 'to' Name (withGrant)? #grant
 | 'revoke' perm 'on' Name 'from' Name #revoke
 | NEWLINE #newline
 ;
 
logictree : logictree lop logictree 
	| '('logictree lop logictree ')'
	| condition 
	; 

clogictree : clogictree lop clogictree 
	| '('clogictree lop clogictree ')'
	| ccondition 
	; 


ccondition : cname op (value|cname)
	;

condition : Name op (value|Name)
	;
	
set : Name '=' value
	;

names : Name (',' Name)* 
	;
cname: Name'.'Name
	;
cnames : cname (',' cname)*
	;
onCondition : cname'='cname
	;
	
jnames : Name (join Name 'on' onCondition)+
	;

values : value (',' value)*
	;

schema : (attribute|constraint) (',' (attribute|constraint))* #attrcons
 ;

attribute : Name type #normalattr
 | Name type 'not null' #notnullattr
 ;

constraint :'primary key' '(' Name ')'#primarykey;