anchor.diff:      ;
   
   INT :	'0'..'9'+
  -    ;
  -
  +    
  +    ;
   FLOAT
       :   ('0'..'9')+ '.' ('0'..'9')* EXPONENT?
       |   '.' ('0'..'9')+ EXPONENT?
  
positive.code: 	|assertUntil_statement
  	|always_statement
  	|assertStable_statement
    ; 
  	
  //assignment
  //	: variable EQUAL^ expression
  //	;
  	
  //variable
  	//: ID
  //	;
  
negative.code: :ASSERT_UNTIL^ LPARA! expression COMMA! expression RPARA! SEMICOL!
  ;
  
  edge_statement
  : WAIT_POSEDGE^ LPARA! expression RPARA! SEMICOL!
  ;
  assertStable_statement
  :ASSERT_STABLE^ LPARA! expression COMMA! expression RPARA! SEMICOL!
  ;
  
  
  //waitPosedge_statement
  //:WAIT_POSEDGE^ LPARA! expression RPARA! SEMICOL!
  //;
  
  statement
  	:wait_statement
  