Revision 7
Added by Willibald K. over 8 years ago
Files
- added
- modified
- copied
- renamed
- deleted
- trunk
- compiler
- cppAst
- ast
- Ast.cpp (diff)
- Ast.hpp (diff)
- AstAnnotation.hpp (diff)
- AstElement.hpp (diff)
- AstFactory.cpp (diff)
- AstFactory.hpp (diff)
- CompleteAstTraversalVisitor.cpp (diff)
- CompleteAstTraversalVisitor.hpp (diff)
- Containers.hpp (diff)
- DeepCloneVisitor.cpp (diff)
- DeepCloneVisitor.hpp (diff)
- ExpressionVisitor.cpp (diff)
- ExpressionVisitor.hpp (diff)
- IAstVisitor.hpp (diff)
- IScope.hpp (diff)
- PrintVisitor.cpp (diff)
- PrintVisitor.hpp (diff)
- StatementVisitor.cpp (diff)
- StatementVisitor.hpp (diff)
- SymbolTable.cpp (diff)
- SymbolTable.hpp (diff)
- TextEmitter.hpp (diff)
- expressions
- AccessExpression.hpp (diff)
- BinaryOperator.hpp (diff)
- CallExpression.hpp (diff)
- ExistsQuantifier.hpp (diff)
- Expression.cpp (diff)
- Expression.hpp (diff)
- ForallQuantifier.hpp (diff)
- IdentifierExpression.hpp (diff)
- LeafExpression.hpp (diff)
- ListConstructor.hpp (diff)
- ObjectConstructor.hpp (diff)
- Quantifier.hpp (diff)
- SetConstructor.hpp (diff)
- TernaryOperator.hpp (diff)
- TupleConstructor.hpp (diff)
- TupleMapAccessExpression.hpp (diff)
- TypeConstructionExpression.hpp (diff)
- TypeExpression.hpp (diff)
- UnaryOperator.hpp (diff)
- ValueExpression.hpp (diff)
- identifiers
- AttributeIdentifier.hpp (diff)
- ConstantIdentifier.hpp (diff)
- EnumIdentifier.hpp (diff)
- ExpressionVariableIdentifier.hpp (diff)
- FunctionIdentifier.hpp (diff)
- Identifier.cpp (diff)
- Identifier.hpp (diff)
- IdentifierBlock.hpp (diff)
- LocalVariableIdentifier.hpp (diff)
- MainModule.hpp (diff)
- MethodIdentifier.hpp (diff)
- Module.hpp (diff)
- NamedActionIdentifier.hpp (diff)
- ParameterIdentifier.hpp (diff)
- Scope.hpp (diff)
- TypeIdentifier.hpp (diff)
- ValueIdentifier.hpp (diff)
- ValueReferenceIdentifier.hpp (diff)
- serialize
- statements
- types
- ActionSystemType.cpp (diff)
- ActionSystemType.hpp (diff)
- BoolType.hpp (diff)
- CharType.hpp (diff)
- EnumType.hpp (diff)
- FunctionType.hpp (diff)
- IntType.hpp (diff)
- ListType.hpp (diff)
- NullType.hpp (diff)
- PointerType.hpp (diff)
- TupleType.hpp (diff)
- Type.cpp (diff)
- Type.hpp (diff)
- ValuedEnumType.hpp (diff)
- ast
- ooasCompiler
- src
- org
- momut
- ooas
- CmdlineCompiler.java (diff)
- Compiler.java (diff)
- CompilerConfiguration.java (diff)
- Version.java (diff)
- ast
- AstNode.java (diff)
- AstNodeTypeEnum.java (diff)
- IAst.java (diff)
- IAstVisitor.java (diff)
- IScope.java (diff)
- expressions
- AccessExpression.java (diff)
- BinaryOperator.java (diff)
- CallExpression.java (diff)
- ExistsQuantifier.java (diff)
- Expression.java (diff)
- ExpressionKind.java (diff)
- ForallQuantifier.java (diff)
- IdentifierExpression.java (diff)
- LeafExpression.java (diff)
- ListConstructor.java (diff)
- MapConstructor.java (diff)
- ObjectConstructor.java (diff)
- QValConstructor.java (diff)
- Quantifier.java (diff)
- SetConstructor.java (diff)
- TernaryOperator.java (diff)
- TupleConstructor.java (diff)
- TupleMapAccessExpression.java (diff)
- TypeConstructionExpression.java (diff)
- TypeExpression.java (diff)
- UnaryOperator.java (diff)
- UnresolvedIdentifierExpression.java (diff)
- ValueExpression.java (diff)
- identifiers
- AttributeIdentifier.java (diff)
- ConstantIdentifier.java (diff)
- EnumIdentifier.java (diff)
- ExpressionVariableIdentifier.java (diff)
- FunctionIdentifier.java (diff)
- Identifier.java (diff)
- IdentifierKind.java (diff)
- IdentifierList.java (diff)
- LandmarkIdentifier.java (diff)
- LocalVariableIdentifier.java (diff)
- MainModule.java (diff)
- MethodIdentifier.java (diff)
- Module.java (diff)
- NamedActionIdentifier.java (diff)
- NondetIdentifierList.java (diff)
- ParameterIdentifier.java (diff)
- PrioIdentifierList.java (diff)
- Scope.java (diff)
- SelfTypeIdentifier.java (diff)
- SeqIdentifierList.java (diff)
- TypeIdentifier.java (diff)
- UnspecIdentifierList.java (diff)
- ValueIdentifier.java (diff)
- ValueReferenceIdentifier.java (diff)
- statements
- AbortStatement.java (diff)
- Assignment.java (diff)
- Block.java (diff)
- BreakStatement.java (diff)
- Call.java (diff)
- GuardedCommand.java (diff)
- KillStatement.java (diff)
- NondetBlock.java (diff)
- PrioBlock.java (diff)
- QualitativeConstraintStatement.java (diff)
- SeqBlock.java (diff)
- SkipStatement.java (diff)
- Statement.java (diff)
- StatementKind.java (diff)
- types
- ActionSystem.java (diff)
- AnyType.java (diff)
- BoolType.java (diff)
- CharType.java (diff)
- EnumType.java (diff)
- FloatType.java (diff)
- FunctionType.java (diff)
- IntType.java (diff)
- ListType.java (diff)
- MapType.java (diff)
- NullType.java (diff)
- OoActionSystemInstance.java (diff)
- OoActionSystemType.java (diff)
- OpaqueType.java (diff)
- QrType.java (diff)
- TupleType.java (diff)
- TypeKind.java (diff)
- UlyssesType.java (diff)
- ValuedEnumType.java (diff)
- codegen
- math
- parser
- utils
- visitors
- OoaActionClassifierVisitor.java (diff)
- OoaCheckObjectRefsConstant.java (diff)
- OoaCompleteAstTraversalVisitor.java (diff)
- OoaDeepCloneVisitor.java (diff)
- OoaEmptyVisitor.java (diff)
- OoaExpressionVisitor.java (diff)
- OoaIdentifierCompressVisitor.java (diff)
- OoaIdentifierVisitor.java (diff)
- OoaMethodPureClassifierVisitor.java (diff)
- OoaObjectInstantiationVisitor.java (diff)
- OoaPrintVisitor.java (diff)
- OoaReplaceOpaqueVisitor.java (diff)
- OoaResolveExpressionsVisitor.java (diff)
- OoaStatementVisitor.java (diff)
- OoaSymbolSortVisitor.java (diff)
- OoaTypeCheckVisitor.java (diff)
- OoaTypeRenameVisitor.java (diff)
- OoaTypeVisitor.java (diff)
- OoaTypesVisitor.java (diff)
- analysis
- optimisation
- ooas
- momut
- org
- src
- ooasCompiler_tests
- cppAst
- compiler
changing java, cpp, hpp files to unix line endings