Xreate
The Xreate programming language
|
▼Nxreate | |
▼Ncfa | The CFA(Control Flow Analysis) related functionality |
CCFAGraph | Represents CFA analysis data produced by CFAPass |
CCFAPass | CFA(Control Flow Analysis) implementation |
CCFATemporalSeqPass | Code blocks execution order analysis. The results are stored in the xreate::cfa::TemporalSeqGraph graph |
CTemporalSeqGraph | Execution order graph representation. Produced by CFATemporalSeqPass |
▼Ncompilation | The compilation internals used by CompilePass |
CAdvancedInstructions | Advanced compilation primitives |
CBasicCodeScopeUnit | Minimal useful ICodeScopeUnit implementation suited for inheritance |
CBasicFunctionUnit | Minimal useful IFunctionUnit implementation suited for inheritance |
CBruteFnInvocation | Default IFnInvocation implementation |
CCachedScopeDecorator | Provides caching ability for code scope compilation |
CCompilePassCustomDecorators | Constructs compiler with desired Function and Code Scope decorators. See adaptability in xreate::CompilePass |
CContext | Holds current position in AST while traversing |
CICodeScopeUnit | Interface to allow modification of CodeScope compilation |
CIFnInvocation | Interface for custom function invocation operation compilation |
CIFunctionUnit | Interface to specify compilation of Function |
CTarget | Similar to xreate::IPass |
CTransformationsScopeDecorator | Provides custom transformations during Code Scope compilation |
CTransformerSaturation | Loop saturation support |
CTypeConversionScopeDecorator | Provides automatic type conversion |
▼Ncontainers | Containers support. See the explanation |
CIterator | A factory to create a concrete iterator based on the solution provided by xreate::containers::Query |
CIteratorForward< ON_THE_FLY > | The lazy container implementation |
CIteratorForward< SOLID > | The contiguous container implementation |
CQuery | Queries Transcend solutions on containers implementation details |
▼Ndetails | |
▼Ninconsistent | |
CAST | AST in an inconsistent form during construction |
▼Ndfa | The DFA(Data Flow Analysis) related functionality |
CDFAGraph | Represents DFA Analysis report produced by DFAPass |
CDFAPass | Data Flow Analysis Pass |
▼Ninterpretation | Interpretation support |
CInterpretationFunction | Encapsulates interpretation of a single function |
CInterpretationPass | Provides the interpretation analysis. Determines parts of a program eligible for Interpretation by xreate::interpretation::TargetInterpretation |
CInterpretationScope | Encapsulates interpretation of a single code scope |
CInterpretationScopeDecorator | Interpretation-aware Code Scope decorator |
CIntrinsicQueryInstruction | intrinsic query statement |
CPIFSignature | Signature of a partially interpreted function |
CPIFunction | Encapsulates partially interpreted function |
CTargetInterpretation | Encapsulates interpretation process based on analysis results from InterpretationPass |
▼Nlatereasoning | Late Transcend support |
CLateAnnotation | Represents Late Annotation, i.e. an annotation with late or runtime defined parameters |
CLateAnnotationsGroup | Represents a group of all late annotations attached to a specific target |
CLateReasoningCompiler | Late Transcend compilation support |
CLateReasoningDFAPassDecorator | Decorates dfa::DFAPass to recognize and extract late annotations |
CLateReasoningScope | Keeps track of defined late transcend parameters |
CLateReasoningTranscendDecorator | Decorates TranscendLayer to support late annotations processing |
▼Nlatex | Latex(Late Context) support |
CExtraArgsFnInvocation | Function invocation operator decorator to handle latex enabled functions with hidden extra arguments |
CLatexBruteFunctionDecorator | Latex(Late Context)-aware decorator for xreate::compilation::IFunctionUnit |
CLatexBruteScopeDecorator | Latex aware xreate::compilation::ICodeScopeUnit decorator |
CLatexQuery | Queries Transcend solution on Context implementation details |
▼Nmodules | Modules support |
CModuleRecord | An individual module specific information |
CModulesSolver | A module's requirements resolver |
CXreateManagerDecoratorModules | XreateManager decorator to support Modules |
▼Npointerarithmetic | Pointer arithemitic support |
CPointerArithmetic | Pointer arithmetic operators |
▼Npolymorph | Polymorphism support |
CPolymorphCodeScopeUnit | Polymorphism aware xreate::compilation::ICodeScopeUnit decorator |
CPolymorphFnInvocation | An instance of compilation::IFnInvocation to manage polymorphic functions invocation |
CPolymorphQuery | Queries Transcend solution on Polymorphism implementation details |
▼Nversions | Versioned variables support. See the explanation |
CVersionedFunctionDecorator | A Versions-aware function level decorator. Not used currently |
CVersionsGraph | Represents the results of the versions analysis provided by VersionsPass |
CVersionsPass | Implements the versions analysis and stores the results in VersionsGraph |
CVersionsScopeDecorator | Versioned variables code scope level compilation support |
CAbstractPass | Minimal xreate::IPass implementation useful for many passes as the base class |
CAST | AST in a consistent state |
CAttachments | Implements AST attachments mechanism to facilitate data sharing among different analyzers and compilation phases |
CAttachmentsDict | Attachments dictionary |
CCodeScope | AST node to represent a single code block/a scope of visibility |
CCompilePass | The owner of the compilation process. Performs fundamental compilation activities along with the xreate::compilation's routines |
CDecoratorsDict | Decorators support |
CExpression | AST node to represent a single instruction or an annotation |
CExpressionHints | Xreate::Expression static information |
CExternLayer | A wrapper over Clang |
CFunction | AST node to represent a single function |
CIAnalysisReport | Supplies TranscendLayer with results of an analysis |
CIPass | Interface for all passes to inherit. xreate::PassManager holds a collection of passes to execute |
CIQuery | Transcend solutions querying interface |
CLLVMLayer | A wrapper over LLVM toolchain to generate and execute bytecode |
CPassContext | Holds current position in the AST during traverse |
CPassManager | The base class to control passes |
CStructUpdate | Struct update operators |
CSymbolCache | Stores processing results for the already visited nodes |
CSymbolCache< void > | Set of the already visited nodes |
CTranscendLayer | Logic reasoning implementation. Internally, it's a proxy to the external ASP solver Clasp |
CTypeAnnotation | A type representation to support type system |
CXreateManager | Entry point of Xreate API |
CXreateManagerDecoratorBase | Simple XreateManager's backend intended for inheritance, does not provide much functionality |
CXreateManagerDecoratorFull | XreateManager's backend intended to initialize all builtin passes |