Revision 2
Added by Willibald K. almost 10 years ago
- label_added
- modified
- copied
- renamed
- deleted
- trunk
- compiler
- LICENSE
- README
- cppAst
- ast
- Ast.cpp
- Ast.hpp
- AstAnnotation.hpp
- AstElement.hpp
- AstFactory.cpp
- AstFactory.hpp
- CompleteAstTraversalVisitor.cpp
- CompleteAstTraversalVisitor.hpp
- Containers.hpp
- DeepCloneVisitor.cpp
- DeepCloneVisitor.hpp
- ExpressionVisitor.cpp
- ExpressionVisitor.hpp
- IAstVisitor.hpp
- IScope.hpp
- Makefile
- PrintVisitor.cpp
- PrintVisitor.hpp
- StatementVisitor.cpp
- StatementVisitor.hpp
- SymbolTable.cpp
- SymbolTable.hpp
- TextEmitter.hpp
- expressions
- AccessExpression.hpp
- BinaryOperator.hpp
- CallExpression.hpp
- ExistsQuantifier.hpp
- Expression.cpp
- Expression.hpp
- ForallQuantifier.hpp
- IdentifierExpression.hpp
- LeafExpression.hpp
- ListConstructor.hpp
- ObjectConstructor.hpp
- Quantifier.hpp
- SetConstructor.hpp
- TernaryOperator.hpp
- TupleConstructor.hpp
- TupleMapAccessExpression.hpp
- TypeConstructionExpression.hpp
- TypeExpression.hpp
- UnaryOperator.hpp
- ValueExpression.hpp
- identifiers
- AttributeIdentifier.hpp
- ConstantIdentifier.hpp
- EnumIdentifier.hpp
- ExpressionVariableIdentifier.hpp
- FunctionIdentifier.hpp
- Identifier.cpp
- Identifier.hpp
- IdentifierBlock.hpp
- LocalVariableIdentifier.hpp
- MainModule.hpp
- MethodIdentifier.hpp
- Module.hpp
- NamedActionIdentifier.hpp
- ParameterIdentifier.hpp
- Scope.hpp
- TypeIdentifier.hpp
- ValueIdentifier.hpp
- ValueReferenceIdentifier.hpp
- serialize
- statements
- types
- ast
- licenses
- ooasCompiler
- .classpath
- .project
- .settings
- antlrworks-1.4.3.jar
- libraries
- src
- org
- momut
- ooas
- CmdlineCompiler.java
- Compiler.java
- CompilerConfiguration.java
- Version.java
- ast
- AstNode.java
- AstNodeTypeEnum.java
- IAst.java
- IAstVisitor.java
- IScope.java
- expressions
- AccessExpression.java
- BinaryOperator.java
- CallExpression.java
- ExistsQuantifier.java
- Expression.java
- ExpressionKind.java
- ForallQuantifier.java
- IdentifierExpression.java
- LeafExpression.java
- ListConstructor.java
- MapConstructor.java
- ObjectConstructor.java
- QValConstructor.java
- Quantifier.java
- SetConstructor.java
- TernaryOperator.java
- TupleConstructor.java
- TupleMapAccessExpression.java
- TypeConstructionExpression.java
- TypeExpression.java
- UnaryOperator.java
- UnresolvedIdentifierExpression.java
- ValueExpression.java
- identifiers
- AttributeIdentifier.java
- ConstantIdentifier.java
- EnumIdentifier.java
- ExpressionVariableIdentifier.java
- FunctionIdentifier.java
- Identifier.java
- IdentifierKind.java
- IdentifierList.java
- LandmarkIdentifier.java
- LocalVariableIdentifier.java
- MainModule.java
- MethodIdentifier.java
- Module.java
- NamedActionIdentifier.java
- NondetIdentifierList.java
- ParameterIdentifier.java
- PrioIdentifierList.java
- Scope.java
- SelfTypeIdentifier.java
- SeqIdentifierList.java
- TypeIdentifier.java
- UnspecIdentifierList.java
- ValueIdentifier.java
- ValueReferenceIdentifier.java
- statements
- types
- codegen
- math
- parser
- utils
- visitors
- OoaActionClassifierVisitor.java
- OoaCheckObjectRefsConstant.java
- OoaCompleteAstTraversalVisitor.java
- OoaDeepCloneVisitor.java
- OoaEmptyVisitor.java
- OoaExpressionVisitor.java
- OoaIdentifierCompressVisitor.java
- OoaIdentifierVisitor.java
- OoaMethodPureClassifierVisitor.java
- OoaObjectInstantiationVisitor.java
- OoaPrintVisitor.java
- OoaReplaceOpaqueVisitor.java
- OoaResolveExpressionsVisitor.java
- OoaStatementVisitor.java
- OoaSymbolSortVisitor.java
- OoaTypeCheckVisitor.java
- OoaTypeRenameVisitor.java
- OoaTypeVisitor.java
- OoaTypesVisitor.java
- analysis
- optimisation
- ooas
- momut
- org
- ooasCompiler_tests
- serialization
- compiler
initial import of ooasCompiler