java.lang.Object

cruise.umple.alloy.AlloyModel

public class AlloyModel
extends AlloyObject

Constructor Summary

Constructors

Constructor Description

AlloyModel(UmpleModel model)

AlloyModel(java.lang.String aName, java.lang.String aModelNamespace)

Method Summary

Modifier and Type	Method	Description
`boolean`	`addFact(Fact aFact)`
`boolean`	`addFactAt(Fact aFact, int index)`
`boolean`	`addOrMoveFactAt(Fact aFact, int index)`
`boolean`	`addOrMoveSignatureAt(Signature aSignature, int index)`
`boolean`	`addOrMoveStatementAt(Statement aStatement, int index)`
`boolean`	`addSignature(Signature aSignature)`
`boolean`	`addSignatureAt(Signature aSignature, int index)`
`boolean`	`addStatement(Statement aStatement)`
`boolean`	`addStatementAt(Statement aStatement, int index)`
`java.lang.String`	`comment()`
`void`	`delete()`
`Fact`	`getFact(int index)`
`java.util.List<Fact>`	`getFacts()`
`java.util.List<Statement>`	`getImportStatements()`
`java.lang.String`	`getModelNamespace()`
`java.lang.String`	`getName()`
`Signature`	`getSignature(int index)`
`java.util.List<Signature>`	`getSignatures()`
`Statement`	`getStatement(int index)`
`java.util.List<Statement>`	`getStatements()`
`boolean`	`hasFacts()`
`boolean`	`hasSignatures()`
`boolean`	`hasStatements()`
`int`	`indexOfFact(Fact aFact)`
`int`	`indexOfSignature(Signature aSignature)`
`int`	`indexOfStatement(Statement aStatement)`
`static int`	`minimumNumberOfFacts()`
`static int`	`minimumNumberOfSignatures()`
`static int`	`minimumNumberOfStatements()`
`int`	`numberOfFacts()`
`int`	`numberOfSignatures()`
`int`	`numberOfStatements()`
`java.lang.String`	`printImportStatements()`
`boolean`	`removeFact(Fact aFact)`
`boolean`	`removeSignature(Signature aSignature)`
`boolean`	`removeStatement(Statement aStatement)`
`boolean`	`setModelNamespace(java.lang.String aModelNamespace)`
`boolean`	`setName(java.lang.String aName)`
`java.lang.String`	`toString()`

Methods inherited from class cruise.umple.alloy.AlloyObject

addEndDottedLine, addStartDottedLine, convertEndsToAssociation, printObject

Methods inherited from class java.lang.Object

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

Constructor Details
- AlloyModel
  
  public AlloyModel(java.lang.String aName, java.lang.String aModelNamespace)
- AlloyModel
  
  public AlloyModel(UmpleModel model)
Method Details
- setName
  
  public boolean setName(java.lang.String aName)
- setModelNamespace
  
  public boolean setModelNamespace(java.lang.String aModelNamespace)
- getName
  
  public java.lang.String getName()
- getModelNamespace
  
  public java.lang.String getModelNamespace()
- getSignature
  
  public Signature getSignature(int index)
- getSignatures
  
  public java.util.List<Signature> getSignatures()
- numberOfSignatures
  
  public int numberOfSignatures()
- hasSignatures
  
  public boolean hasSignatures()
- indexOfSignature
  
  public int indexOfSignature(Signature aSignature)
- getFact
  
  public Fact getFact(int index)
- getFacts
  
  public java.util.List<Fact> getFacts()
- numberOfFacts
  
  public int numberOfFacts()
- hasFacts
  
  public boolean hasFacts()
- indexOfFact
  
  public int indexOfFact(Fact aFact)
- getStatement
  
  public Statement getStatement(int index)
- getStatements
  
  public java.util.List<Statement> getStatements()
- numberOfStatements
  
  public int numberOfStatements()
- hasStatements
  
  public boolean hasStatements()
- indexOfStatement
  
  public int indexOfStatement(Statement aStatement)
- minimumNumberOfSignatures
  
  public static int minimumNumberOfSignatures()
- addSignature
  
  public boolean addSignature(Signature aSignature)
- removeSignature
  
  public boolean removeSignature(Signature aSignature)
- addSignatureAt
  
  public boolean addSignatureAt(Signature aSignature, int index)
- addOrMoveSignatureAt
  
  public boolean addOrMoveSignatureAt(Signature aSignature, int index)
- minimumNumberOfFacts
  
  public static int minimumNumberOfFacts()
- addFact
  
  public boolean addFact(Fact aFact)
- removeFact
  
  public boolean removeFact(Fact aFact)
- addFactAt
  
  public boolean addFactAt(Fact aFact, int index)
- addOrMoveFactAt
  
  public boolean addOrMoveFactAt(Fact aFact, int index)
- minimumNumberOfStatements
  
  public static int minimumNumberOfStatements()
- addStatement
  
  public boolean addStatement(Statement aStatement)
- removeStatement
  
  public boolean removeStatement(Statement aStatement)
- addStatementAt
  
  public boolean addStatementAt(Statement aStatement, int index)
- addOrMoveStatementAt
  
  public boolean addOrMoveStatementAt(Statement aStatement, int index)
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class AlloyObject
- getImportStatements
  
  public java.util.List<Statement> getImportStatements()
- printImportStatements
  
  public java.lang.String printImportStatements()
- comment
  
  public java.lang.String comment()
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Constructor	Description
`AlloyModel(UmpleModel model)`
`AlloyModel(java.lang.String aName, java.lang.String aModelNamespace)`

Class AlloyModel

Constructor Summary

Method Summary

Methods inherited from class cruise.umple.alloy.AlloyObject

Methods inherited from class java.lang.Object

Constructor Details

Method Details