Project

General

Profile

Revision 9

Added by Willibald K. over 8 years ago

remove support for Qualitative Action Systems, rename UlyssesType to Type

View differences:

CadpIdentifier.java
33 33 
import org.momut.ooas.ast.identifiers.EnumIdentifier;
34 34 
import org.momut.ooas.ast.identifiers.ExpressionVariableIdentifier;
35 35 
import org.momut.ooas.ast.identifiers.Identifier;
36 
import org.momut.ooas.ast.identifiers.LandmarkIdentifier;
37 36 
import org.momut.ooas.ast.identifiers.LocalVariableIdentifier;
38 37 
import org.momut.ooas.ast.identifiers.MainModule;
39 38 
import org.momut.ooas.ast.identifiers.MethodIdentifier;
......
50 49 
import org.momut.ooas.ast.types.FunctionType;
51 50 
import org.momut.ooas.ast.types.ListType;
52 51 
import org.momut.ooas.ast.types.TypeKind;
53 
import org.momut.ooas.ast.types.UlyssesType;
52 
import org.momut.ooas.ast.types.Type;
54 53 
import org.momut.ooas.codegen.OoasCodeEmitter;
55 54 
import org.momut.ooas.visitors.OoaCompleteAstTraversalVisitor;
56 55 

  		




  ......




  85
  84
  
    
			m_emitter.Append(" */ ");


  		




  86
  85
  
    
		}


  		




  87
  86
  
    
	}


  		




  
  87
  
    

  		




  88
  88
  
    
	@Override


  		




  89
  
  
    
	public  void visit(LandmarkIdentifier landmarkIdentifier)


  		




  90
  
  
    
	{


  		




  91
  
  
    
		throw new UnsupportedOperationException();


  		




  92
  
  
    
	}


  		




  93
  
  
    
	@Override


  		




  94
  89
  
    
	public  void visit(AttributeIdentifier attributeIdentifier)


  		




  95
  90
  
    
	{


  		




  96
  91
  
    
		if (m_stateVariablePrefix != null && !m_stateVariablePrefix.equals(""))


  		




  ......




  139
  134
  
    
		{


  		




  140
  135
  
    
			final FunctionType funType = (FunctionType) typeIdentifier.type();


  		




  141
  136
  
    
			m_emitter.Append(typeIdentifier.tokenText());


  		




  142
  
  
    
			for (final UlyssesType x : funType.parameter())


  		




  
  137
  
    
			for (final Type x : funType.parameter())


  		




  143
  138
  
    
			{


  		




  144
  139
  
    
				m_emitter.Append("_");


  		




  145
  140
  
    
				m_emitter.Append(x.toString());


  		












Also available in:  Unified diff