java.lang.Object

cruise.umple.nusmv.VariableSpecifier

public class VariableSpecifier
extends java.lang.Object

Field Summary

Fields
Modifier and Type	Field	Description
`static java.lang.String`	`NL`
`static java.lang.String`	`TEXT_0`
`static java.lang.String`	`TEXT_1`
`static java.lang.String`	`TEXT_2`
`static java.lang.String`	`TEXT_3`
`static java.lang.String`	`TEXT_4`
`static java.lang.String`	`TEXT_5`
`static java.lang.String`	`TEXT_6`
`static java.lang.String`	`TEXT_7`

Constructor Summary

Constructors

Constructor Description

VariableSpecifier(java.lang.String aIdentifier)

Method Summary

Modifier and Type	Method	Description
`java.lang.StringBuilder`	`_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)`
`boolean`	`addTypeSpecifier(java.lang.String aTypeSpecifier)`
`java.util.List<ColumnEntry>`	`buildColumnEntries(java.util.List<java.lang.String> stateValues)`	Please do not modify the following method.
`java.util.List<java.lang.String>`	`buildStateValuesFromColumnEntries(java.util.List<ColumnEntry> entries)`	Please do not modify the following method.
`void`	`delete()`
`java.lang.String`	`getIdentifier()`
`boolean`	`getIsBracketed()`
`java.lang.String`	`getTypeName()`
`java.lang.String[]`	`getTypeSpecifier()`
`java.lang.String`	`getTypeSpecifier(int index)`
`boolean`	`hasTypeSpecifier()`
`int`	`indexOfTypeSpecifier(java.lang.String aTypeSpecifier)`
`int`	`numberOfTypeSpecifier()`
`java.lang.String`	`printArray(java.util.List<java.lang.String> input)`	Please do not modify the following method.
`boolean`	`removeTypeSpecifier(java.lang.String aTypeSpecifier)`
`boolean`	`setIdentifier(java.lang.String aIdentifier)`
`boolean`	`setIsBracketed(boolean aIsBracketed)`
`boolean`	`setTypeName(java.lang.String aTypeName)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, 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
- TEXT_1
  
  public static final java.lang.String TEXT_1
  
  See Also:
  
  Constant Field Values
- TEXT_2
  
  public static final java.lang.String TEXT_2
  
  See Also:
  
  Constant Field Values
- TEXT_3
  
  public static final java.lang.String TEXT_3
  
  See Also:
  
  Constant Field Values
- TEXT_4
  
  public static final java.lang.String TEXT_4
  
  See Also:
  
  Constant Field Values
- TEXT_5
  
  public static final java.lang.String TEXT_5
  
  See Also:
  
  Constant Field Values
- TEXT_6
  
  public static final java.lang.String TEXT_6
  
  See Also:
  
  Constant Field Values
- TEXT_7
  
  public static final java.lang.String TEXT_7
  
  See Also:
  
  Constant Field Values
Constructor Details
- VariableSpecifier
  
  public VariableSpecifier(java.lang.String aIdentifier)
Method Details
- setIdentifier
  
  public boolean setIdentifier(java.lang.String aIdentifier)
- addTypeSpecifier
  
  public boolean addTypeSpecifier(java.lang.String aTypeSpecifier)
- removeTypeSpecifier
  
  public boolean removeTypeSpecifier(java.lang.String aTypeSpecifier)
- setIsBracketed
  
  public boolean setIsBracketed(boolean aIsBracketed)
- setTypeName
  
  public boolean setTypeName(java.lang.String aTypeName)
- getIdentifier
  
  public java.lang.String getIdentifier()
- getTypeSpecifier
  
  public java.lang.String getTypeSpecifier(int index)
- getTypeSpecifier
  
  public java.lang.String[] getTypeSpecifier()
- numberOfTypeSpecifier
  
  public int numberOfTypeSpecifier()
- hasTypeSpecifier
  
  public boolean hasTypeSpecifier()
- indexOfTypeSpecifier
  
  public int indexOfTypeSpecifier(java.lang.String aTypeSpecifier)
- getIsBracketed
  
  public boolean getIsBracketed()
- getTypeName
  
  public java.lang.String getTypeName()
- delete
  
  public void delete()
- printArray
  
  public java.lang.String printArray(java.util.List<java.lang.String> input)
  
  Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier' this method prints elements of the input list in a comma-separated manner
- buildColumnEntries
  
  public java.util.List<ColumnEntry> buildColumnEntries(java.util.List<java.lang.String> stateValues)
  
  Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier'
- buildStateValuesFromColumnEntries
  
  public java.util.List<java.lang.String> buildStateValuesFromColumnEntries(java.util.List<ColumnEntry> entries)
  
  Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier'
- _toString
  
  public java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Class VariableSpecifier

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Details

Constructor Details

Method Details