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:

OpaqueType.java
33 33 
///////////////////////////////////////////////
34 34 
///  Opaque Type..
35 35 
///
36 
public class OpaqueType extends UlyssesType
36 
public class OpaqueType extends Type
37 37 
{
38 
	private UlyssesType m_resolvedType;
38 
	private Type m_resolvedType;
39 39 

  		




  40
  
  
    
	public UlyssesType resolvedType() { return m_resolvedType; }


  		




  
  40
  
    
	public Type resolvedType() { return m_resolvedType; }


  		




  41
  41
  
    

  		




  42
  42
  
    
	public OpaqueType(TypeIdentifier reference)


  		




  43
  43
  
    
	{


  		




  44
  44
  
    
		super(TypeKind.OpaqueType, reference);


  		




  45
  45
  
    
	}


  		




  46
  46
  
    

  		




  47
  
  
    
	public void SetResolvedType(UlyssesType aType)


  		




  
  47
  
    
	public void SetResolvedType(Type aType)


  		




  48
  48
  
    
	{


  		




  49
  49
  
    
		m_resolvedType = aType;


  		




  50
  50
  
    
	}


  		












Also available in:  Unified diff