Method | Description | |
---|---|---|
FOLLexer ( |
||
getFOLDomain ( ) : |
||
nextToken ( ) : |
Method | Description | |
---|---|---|
identifier ( ) : |
||
identifierDetected ( ) : bool | ||
isJavaIdentifierStart ( char c ) : bool | ||
isVariable ( String s ) : bool | ||
partOfConnector ( ) : bool |
public FOLLexer ( |
||
domain | ||
return | System |
public getFOLDomain ( ) : |
||
return |