anchor.diff:  		{ LA(2) != char('/') }? '*'
       )*
       "*/"
  -    { $setType(Token.SKIP); }
   ;
   
   protected
  
positive.code: }
  
  {
  	static def IsDigit(ch as char):
  		return ch >= char('0') and ch <= char('9')
  }
  
negative.code: AT: '@';
  
  DIVISION: 
  	("/*")=> ML_COMMENT
  	{
  		if not PreserveComments:
  			$setType(Token.SKIP)
  	} |
  //	(RE_LITERAL)=> RE_LITERAL { $setType(RE_LITERAL); } |	
  	'/' (
  			('/' (~('\r'|'\n'))*
  			{
  				if PreserveComments:
  					$setType(SL_COMMENT)
  				else:
  					$setType(Token.SKIP);
  			}) |
  			('=' { $setType(INPLACE_DIVISION); }) |
  		)
  ;
  