GeoGen API Reference
Classes
geogen::compiler Namespace Reference

Contains script parser and compiler. More...

Classes

class  AnlrInputStreamWrapper
 RAII wrapper for ANTRL input stream. More...
 
class  AntlrLexerWrapper
 RAII wrapper for ANTRL lexer. More...
 
class  AntlrParserWrapper
 RAII wrapper for ANTRL parser. More...
 
class  AntlrTokenStreamWrapper
 RAII wrapper for ANTRL token stream. More...
 
class  AntlrTreeNodeStreamWrapper
 RAII wrapper for ANTRL node stream. More...
 
class  AntlrTreeWalkerWrapper
 RAII wrapper for ANTRL tree walker. More...
 
class  AntlrVectorFactoryWrapper
 RAII wrapper for ANTRL vector factory. More...
 
class  Compiler
 A script compiler based on ANTLR 3. More...
 
class  CompilerException
 Base class for exceptions throw during script compilation. More...
 
class  IncorrectEnumScriptParameterTypeException
 Exception thrown when error geogen::GGE1413_IncorrectEnumScriptParameterType occurs. More...
 
class  IncorrectMapSizeNumericValueException
 Exception thrown when error geogen::GGE1411_IncorrectMapSizeNumericValue occurs. More...
 
class  IncorrectMetadataValueTypeException
 Exception thrown when errors geogen::GGE1402_ScriptParametersNotKeyValueCollection, geogen::GGE1403_ScriptParameterNotKeyValueCollection, geogen::GGE1408_WidthNotKeyValueCollection and geogen::GGE1409_HeightNotKeyValueCollection occur. More...
 
class  IncorrectScriptParameterAttributeTypeException
 Exception thrown when error geogen::GGE1406_IncorrectScriptParameterAttributeType occurs. More...
 
class  IncorrectScriptParameterValueRestrictionException
 Exception thrown when error geogen::GGE1407_IncorrectScriptParameterValueRestriction occurs. More...
 
class  InvalidBreakException
 Exception thrown when error geogen::GGE1301_InvalidBreak occurs. More...
 
class  InvalidContinueException
 Exception thrown when error geogen::GGE1303_InvalidContinue occurs. More...
 
class  InvalidEscapeSequenceException
 Exception thrown when error geogen::GGE1102_InvalidEscapeSequence occurs. More...
 
class  InvalidReturnException
 Exception thrown when error geogen::GGE1304_InvalidReturn occurs. More...
 
class  InvalidSymbolDefinitionException
 Exception thrown when errors geogen::GGE1310_EnumValueNotInteger and geogen::GGE1311_ReservedTypeNameUsed occur. More...
 
class  MainMapNotSupportedByScriptException
 Exception thrown when error geogen::GGE1312_MainMapNotSupportedByScript occurs. More...
 
class  MetadataKeyRedefinitionException
 Exception thrown when error geogen::GGE1401_MetadataKeyAlreadyDefined occurs. More...
 
class  MinGreaterThanMaxSizeException
 Exception thrown when error geogen::GGE1412_MinGreaterThanMaxMapSize occurs. More...
 
class  ReadOnlyExpressionWriteException
 Exception thrown when error geogen::GGE1307_ReadOnlyExpressionWrite occurs. More...
 
class  ReservedScriptParameterNameException
 Exception thrown when error geogen::GGE1405_ReservedScriptParameterNameUsed occurs. More...
 
class  ScriptParameterTypeNotSpecifiedException
 Exception thrown when error geogen::GGE1405_ReservedScriptParameterNameUsed occurs. More...
 
class  SymbolRedefinitionException
 Exception thrown when errors geogen::GGE1306_FunctionAlreadyDefined, geogen::GGE1308_TypeAlreadyDefined and geogen::GGE1309_EnumValueAlreadyDefined occur. More...
 
class  UndefinedMetadataIdentifierException
 Exception thrown when error geogen::GGE1410_UndefinedMetadataIdentifier occurs. More...
 
class  UnexpectedCharacterException
 Exception thrown when error geogen::GGE1101_UnexpectedCharacter occurs. More...
 
class  UnexpectedTokenException
 Exception thrown when error geogen::GGE1201_UnexpectedToken occurs. More...
 

Detailed Description

Contains script parser and compiler.