Package cruise.umple.alloy

Class OpenStatement

java.lang.Object
cruise.umple.alloy.Statement
cruise.umple.alloy.OpenStatement
public class OpenStatement
extends Statement

  • Field Summary

    Fields inherited from class cruise.umple.alloy.Statement

    name

  • Constructor Summary

    Constructors 
    Constructor Description
    OpenStatement​(java.lang.String aPackageName, java.lang.String aClassName)  

  • Method Summary

    Modifier and Type Method Description
    void delete()  
    java.lang.String getClassName()  
    java.lang.String getPackageName()  
    java.lang.String print()  
    boolean setClassName​(java.lang.String aClassName)  
    boolean setPackageName​(java.lang.String aPackageName)  
    java.lang.String toString()  

    Methods inherited from class cruise.umple.alloy.Statement

    getName

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • OpenStatement

      public OpenStatement​(java.lang.String aPackageName, java.lang.String aClassName)

  • Method Details

    • setPackageName

      public boolean setPackageName​(java.lang.String aPackageName)

    • setClassName

      public boolean setClassName​(java.lang.String aClassName)

    • getPackageName

      public java.lang.String getPackageName()

    • getClassName

      public java.lang.String getClassName()

    • delete

      public void delete()
      Overrides:
      delete in class Statement

    • print

      public java.lang.String print()
      Overrides:
      print in class Statement

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object