de.upb.hni.vmagic.type
Class IndexSubtypeIndication

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

public class IndexSubtypeIndication
extends java.lang.Object
implements SubtypeIndication

Index constraint subtype indication.


Constructor Summary
IndexSubtypeIndication(SubtypeIndication baseType, DiscreteRange... ranges)
          Creates a index subtype indication.
IndexSubtypeIndication(SubtypeIndication baseType, java.util.List<DiscreteRange> ranges)
          Creates a index subtype indication.
 
Method Summary
 SubtypeIndication getBaseType()
          Returns the base type.
 java.util.List<DiscreteRange> getRanges()
          Returns the index ranges.
 void setBaseType(SubtypeIndication baseType)
          Sets the base type.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IndexSubtypeIndication

public IndexSubtypeIndication(SubtypeIndication baseType,
                              java.util.List<DiscreteRange> ranges)
Creates a index subtype indication.

Parameters:
baseType - the base type
ranges - the ranges

IndexSubtypeIndication

public IndexSubtypeIndication(SubtypeIndication baseType,
                              DiscreteRange... ranges)
Creates a index subtype indication.

Parameters:
baseType - the base type
ranges - the ranges
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

getRanges

public java.util.List<DiscreteRange> getRanges()
Returns the index ranges.

Returns:
a modifiable list of ranges