Range

java.lang.Object

cruise.umple.compiler.Multiplicity

cruise.umple.nusmv.Range

public class Range
extends Multiplicity

Field Summary

Fields

Modifier and Type Field Description

static java.lang.String NL

static java.lang.String TEXT_0
Constructor Summary

Constructors

Constructor Description

Range()
Method Summary

Modifier and Type Method Description

java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)

void delete()

java.lang.String toString()

Methods inherited from class cruise.umple.compiler.Multiplicity
equals, getBound, getLowerBound, getMaximum, getMinimum, getParserable, getRange, getRangeParts, getUpperBound, hashCode, isLowerBoundMany, isLowerBoundNumeric, isMany, isOne, isUpperBoundMany, isUpperBoundNumeric, isValid, minimizeRange, setBound, setMaximum, setMinimum, setRange

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- NL
  
  public static final java.lang.String NL
- TEXT_0
  
  public static final java.lang.String TEXT_0
  
  See Also:
  
  Constant Field Values
Constructor Details
- Range
  
  public Range()
Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class Multiplicity
- _toString
  
  public java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class Multiplicity