Package cruise.umple.nusmv

Class DefineBody

java.lang.Object
cruise.umple.nusmv.DefineBody
public class DefineBody
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  

  • Constructor Summary

    Constructors 
    Constructor Description
    DefineBody​(java.lang.String aIdentifier, BasicExpression aBasicExpression)  

  • Method Summary

    Modifier and Type Method Description
    java.lang.StringBuilder _toString​(java.lang.Integer numSpaces, java.lang.StringBuilder sb)  
    void delete()  
    BasicExpression getBasicExpression()  
    java.lang.String getIdentifier()  
    boolean setBasicExpression​(BasicExpression aNewBasicExpression)  
    boolean setIdentifier​(java.lang.String aIdentifier)  
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait