Package cruise.umple.alloy
Class AlloyObject
java.lang.Object
cruise.umple.alloy.AlloyObject
- Direct Known Subclasses:
AlloyModel
,Fact
,Signature
public class AlloyObject
extends java.lang.Object
-
Constructor Summary
Constructors Constructor Description AlloyObject()
-
Method Summary
Modifier and Type Method Description protected java.lang.String
addEndDottedLine()
protected java.lang.String
addStartDottedLine()
protected Association
convertEndsToAssociation(AssociationEnd beginEnd, AssociationEnd endToOutput)
void
delete()
java.lang.String
printObject(java.lang.String cName)
-
Constructor Details
-
AlloyObject
public AlloyObject()
-
-
Method Details
-
delete
public void delete() -
printObject
public java.lang.String printObject(java.lang.String cName) -
convertEndsToAssociation
protected Association convertEndsToAssociation(AssociationEnd beginEnd, AssociationEnd endToOutput) -
addStartDottedLine
protected java.lang.String addStartDottedLine() -
addEndDottedLine
protected java.lang.String addEndDottedLine()
-