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:

MapType.java
34 34 
///////////////////////////////////////////////
35 35 
///  Complex Type: Map
36 36 
///
37 
public final class MapType extends UlyssesType
37 
public final class MapType extends Type
38 38 
{
39 
	private UlyssesType m_fromType;
40 
	private UlyssesType m_toType;
39 
	private Type m_fromType;
40 
	private Type m_toType;
41 41 
	private final int m_maxNumberOfElements;
42 42 

  		




  43
  
  
    
	public UlyssesType fromType() { return m_fromType; }


  		




  44
  
  
    
	public UlyssesType toType() { return m_toType; }


  		




  
  43
  
    
	public Type fromType() { return m_fromType; }


  		




  
  44
  
    
	public Type toType() { return m_toType; }


  		




  45
  45
  
    
	public int maxNumberOfElements() { return m_maxNumberOfElements; }


  		




  46
  46
  
    

  		




  47
  
  
    
	public MapType(UlyssesType from, UlyssesType to, int max, TypeIdentifier anIdentifier)


  		




  
  47
  
    
	public MapType(Type from, Type to, int max, TypeIdentifier anIdentifier)


  		




  48
  48
  
    
	{


  		




  49
  49
  
    
		super(TypeKind.MapType, anIdentifier);


  		




  50
  50
  
    
		m_fromType = from;


  		




  ......




  58
  58
  
    
		visitor.visit(this);


  		




  59
  59
  
    
	}


  		




  60
  60
  
    

  		




  61
  
  
    
	public void SetFromType(UlyssesType newType)


  		




  
  61
  
    
	public void SetFromType(Type newType)


  		




  62
  62
  
    
	{


  		




  63
  63
  
    
		if (newType == null)


  		




  64
  64
  
    
			throw new ArgumentException();


  		




  65
  65
  
    
		m_fromType = newType;


  		




  66
  66
  
    
	}


  		




  67
  67
  
    

  		




  68
  
  
    
	public void SetToType(UlyssesType newType)


  		




  
  68
  
    
	public void SetToType(Type newType)


  		




  69
  69
  
    
	{


  		




  70
  70
  
    
		if (newType == null)


  		




  71
  71
  
    
			throw new ArgumentException();


  		












Also available in:  Unified diff