Revision 9 - remove support for Qualitative Action Systems, rename UlyssesType to Type - OoasTools - MoMuT Open Source Repository

« Previous | Next »

Revision 9

Added by Willibald K. over 8 years ago

remove support for Qualitative Action Systems, rename UlyssesType to Type

Files

added
modified
copied
renamed
deleted

View differences

trunk
- compiler
  - ooasCompiler
    - src
      - org
        momut
        ooas
        ast
        AstBuilder.java (diff)
        IAstVisitor.java (diff)
        expressions
        Expression.java (diff)
        ExpressionKind.java (diff)
        ObjectConstructor.java (diff)
        QValConstructor.java
        TypeExpression.java (diff)
        UnaryOperator.java (diff)
        ValueExpression.java (diff)
        identifiers
        AttributeIdentifier.java (diff)
        ExpressionVariableIdentifier.java (diff)
        FunctionIdentifier.java (diff)
        Identifier.java (diff)
        IdentifierKind.java (diff)
        LandmarkIdentifier.java
        LocalVariableIdentifier.java (diff)
        MethodIdentifier.java (diff)
        NamedActionIdentifier.java (diff)
        ParameterIdentifier.java (diff)
        Scope.java (diff)
        SelfTypeIdentifier.java (diff)
        TypeIdentifier.java (diff)
        ValueIdentifier.java (diff)
        ValueReferenceIdentifier.java (diff)
        statements
        QualitativeConstraintStatement.java
        StatementKind.java (diff)
        types
        AnyType.java (diff)
        BoolType.java (diff)
        EnumType.java (diff)
        FloatType.java (diff)
        FunctionType.java (diff)
        IntType.java (diff)
        ListType.java (diff)
        MapType.java (diff)
        NullType.java (diff)
        OoActionSystemType.java (diff)
        OpaqueType.java (diff)
        QrType.java
        TupleType.java (diff)
        Type.java
        UlyssesType.java
        codegen
        ast
        OoaAstEmitter.java (diff)
        cadp
        CadpExpression.java (diff)
        CadpIdentifier.java (diff)
        CadpStatement.java (diff)
        CadpType.java (diff)
        OoaCADPVisitor.java (diff)
        java
        JavaExpression.java (diff)
        JavaInitVisitor.java (diff)
        JavaType.java (diff)
        runtime
        QualitativeValue.java
        prolog
        OoaPrologExpression.java (diff)
        OoaPrologIdentifier.java (diff)
        OoaPrologStatement.java (diff)
        OoaPrologType.java (diff)
        Scratchbook.java (diff)
        prologsymbolic
        OoaPrologSymbolicExpression.java (diff)
        parser
        ooa.g (diff)
        ooa.tokens (diff)
        ooaCustomParser.java (diff)
        ooaLexer.java (diff)
        ooaParser.java (diff)
        visitors
        OoaActionClassifierVisitor.java (diff)
        OoaCheckObjectRefsConstant.java (diff)
        OoaCompleteAstTraversalVisitor.java (diff)
        OoaDeepCloneVisitor.java (diff)
        OoaEmptyVisitor.java (diff)
        OoaPrintVisitor.java (diff)
        OoaReplaceOpaqueVisitor.java (diff)
        OoaResolveExpressionsVisitor.java (diff)
        OoaTypeCheckVisitor.java (diff)
        OoaTypesVisitor.java (diff)
        analysis
        OoaCheckASTVisitor.java (diff)
        OoaPrintActionsVisitor.java (diff)
        optimisation
        OoaRemoveTrivialNondetChoiceCompositionVisitor.java (diff)
        OoaRemoveTrivialPrioritizedCompositionVisitor.java (diff)