java.lang.Object

cruise.umple.nusmv.ModuleBody

public class ModuleBody
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
`java.lang.StringBuilder`	`_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)`
`boolean`	`addModuleElement(ModuleElement aModuleElement)`
`boolean`	`addModuleElementAt(ModuleElement aModuleElement, int index)`
`boolean`	`addOrMoveModuleElementAt(ModuleElement aModuleElement, int index)`
`void`	`delete()`
`ModuleElement`	`getModuleElement(int index)`
`java.util.List<ModuleElement>`	`getModuleElements()`
`boolean`	`hasModuleElements()`
`int`	`indexOfModuleElement(ModuleElement aModuleElement)`
`static int`	`minimumNumberOfModuleElements()`
`int`	`numberOfModuleElements()`
`boolean`	`removeModuleElement(ModuleElement aModuleElement)`
`boolean`	`setModuleElements(ModuleElement... newModuleElements)`
`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
Constructor Details
- ModuleBody
  
  public ModuleBody(ModuleElement... allModuleElements)
Method Details
- getModuleElement
  
  public ModuleElement getModuleElement(int index)
- getModuleElements
  
  public java.util.List<ModuleElement> getModuleElements()
- numberOfModuleElements
  
  public int numberOfModuleElements()
- hasModuleElements
  
  public boolean hasModuleElements()
- indexOfModuleElement
  
  public int indexOfModuleElement(ModuleElement aModuleElement)
- minimumNumberOfModuleElements
  
  public static int minimumNumberOfModuleElements()
- addModuleElement
  
  public boolean addModuleElement(ModuleElement aModuleElement)
- removeModuleElement
  
  public boolean removeModuleElement(ModuleElement aModuleElement)
- setModuleElements
  
  public boolean setModuleElements(ModuleElement... newModuleElements)
- addModuleElementAt
  
  public boolean addModuleElementAt(ModuleElement aModuleElement, int index)
- addOrMoveModuleElementAt
  
  public boolean addOrMoveModuleElementAt(ModuleElement aModuleElement, int index)
- 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

Modifier and Type	Field	Description
`static java.lang.String`	`NL`
`static java.lang.String`	`TEXT_0`

Class ModuleBody