java.lang.Object

cruise.umple.nusmv.CaseStatement

public class CaseStatement
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
`java.lang.StringBuilder`	`_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)`
`void`	`delete()`
`BasicExpression`	`getBasicExpression(int index)`
`java.util.List<BasicExpression>`	`getBasicExpressions()`
`boolean`	`hasBasicExpressions()`
`int`	`indexOfBasicExpression(BasicExpression aBasicExpression)`
`static int`	`maximumNumberOfBasicExpressions()`
`static int`	`minimumNumberOfBasicExpressions()`
`int`	`numberOfBasicExpressions()`
`static int`	`requiredNumberOfBasicExpressions()`
`boolean`	`setBasicExpressions(BasicExpression... newBasicExpressions)`
`java.lang.String`	`toString()`

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
- 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
Constructor Details
- CaseStatement
  
  public CaseStatement(BasicExpression... allBasicExpressions)
Method Details
- getBasicExpression
  
  public BasicExpression getBasicExpression(int index)
- getBasicExpressions
  
  public java.util.List<BasicExpression> getBasicExpressions()
- numberOfBasicExpressions
  
  public int numberOfBasicExpressions()
- hasBasicExpressions
  
  public boolean hasBasicExpressions()
- indexOfBasicExpression
  
  public int indexOfBasicExpression(BasicExpression aBasicExpression)
- requiredNumberOfBasicExpressions
  
  public static int requiredNumberOfBasicExpressions()
- minimumNumberOfBasicExpressions
  
  public static int minimumNumberOfBasicExpressions()
- maximumNumberOfBasicExpressions
  
  public static int maximumNumberOfBasicExpressions()
- setBasicExpressions
  
  public boolean setBasicExpressions(BasicExpression... newBasicExpressions)
- delete
  
  public void delete()
- _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 CaseStatement