de.upb.hni.vmagic.type
Class RangeSubtypeIndication

java.lang.Object
  extended by de.upb.hni.vmagic.type.RangeSubtypeIndication
All Implemented Interfaces:
SubtypeIndication

public class RangeSubtypeIndication
extends java.lang.Object
implements SubtypeIndication

Range constraint subtype indication.


Constructor Summary
RangeSubtypeIndication(SubtypeIndication baseType, RangeProvider range)
          Creates a range subtype indication.
 
Method Summary
 SubtypeIndication getBaseType()
          Returns the base type.
 RangeProvider getRange()
          Returns the range of this subtype indication.
 void setBaseType(SubtypeIndication baseType)
          Sets the base type.
 void setRange(RangeProvider range)
          Sets the range of this subtype indication.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RangeSubtypeIndication

public RangeSubtypeIndication(SubtypeIndication baseType,
                              RangeProvider range)
Creates a range subtype indication.

Parameters:
baseType - the base type
range - the range
Method Detail

getBaseType

public SubtypeIndication getBaseType()
Returns the base type.

Returns:
the base type

setBaseType

public void setBaseType(SubtypeIndication baseType)
Sets the base type.

Parameters:
baseType - the base type

getRange

public RangeProvider getRange()
Returns the range of this subtype indication.

Returns:
the range

setRange

public void setRange(RangeProvider range)
Sets the range of this subtype indication.

Parameters:
range - the range