Package cruise.umple.alloy

Class Utility

java.lang.Object

cruise.umple.alloy.Utility

public class Utility
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Utility()

Method Summary

Modifier and Type	Method	Description
void	addCurlyBracket(java.lang.StringBuilder code, int type)
java.lang.String	addEndDottedLine()
void	addNewLine(java.lang.StringBuilder code, int num)
void	addSignatureHead(java.lang.StringBuilder code, UmpleClass uClass)	This defines a signature head
java.lang.String	addStartDottedLine()
void	addString(java.lang.StringBuilder code, java.lang.String str)
void	addTab(java.lang.StringBuilder code, int tabNum)
java.lang.String	alloyAssociation(AssociationEnd end)	Comment fact public void commentFact(StringBuilder code,Association assoc){} This defines a function mapping within alloy signature
void	commentModel(java.lang.StringBuilder code, UmpleModel model)	Comment begins here
void	composeSimpleDeclaration(java.lang.String rEndName, java.lang.String lEndName, java.lang.StringBuilder code)
void	delete()
void	genEmptySignature(java.lang.StringBuilder code, UmpleClass uClass)
java.lang.String	getA(Association assoc)	Returns the lower case of a class name at left end of an association
java.lang.String	getAlloyMultiplicity(AssociationEnd end)
java.lang.String	getB(Association assoc)	Returns the lower case of a class name at right end of an association
AssociationEnd	getLeftEnd(Association assoc)
java.lang.String	getLeftEndName(Association assoc)
java.lang.String	getLeftMult(Association assoc)
java.lang.String	getLeftRoleName(Association assoc)
AssociationEnd	getRightEnd(Association assoc)
java.lang.String	getRightEndName(Association assoc)
java.lang.String	getRightMult(Association assoc)
java.lang.String	getRightRoleName(Association assoc)
void	printOpenStatement(java.lang.String className, java.lang.String packageName, java.lang.StringBuilder code)

Methods inherited from class java.lang.Object

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

Constructor Details

Utility

public Utility()

Method Details

delete

public void delete()

genEmptySignature

public void genEmptySignature(java.lang.StringBuilder code, UmpleClass uClass)

addNewLine

public void addNewLine(java.lang.StringBuilder code, int num)

addTab

public void addTab(java.lang.StringBuilder code, int tabNum)

addCurlyBracket

public void addCurlyBracket(java.lang.StringBuilder code, int type)

addStartDottedLine

public java.lang.String addStartDottedLine()

addEndDottedLine

public java.lang.String addEndDottedLine()

composeSimpleDeclaration

public void composeSimpleDeclaration(java.lang.String rEndName, java.lang.String lEndName, java.lang.StringBuilder code)

addString

public void addString(java.lang.StringBuilder code, java.lang.String str)

addSignatureHead

public void addSignatureHead(java.lang.StringBuilder code, UmpleClass uClass)

This defines a signature head

commentModel

public void commentModel(java.lang.StringBuilder code, UmpleModel model)

Comment begins here

alloyAssociation

public java.lang.String alloyAssociation(AssociationEnd end)

Comment fact public void commentFact(StringBuilder code,Association assoc){} This defines a function mapping within alloy signature

getA

public java.lang.String getA(Association assoc)

Returns the lower case of a class name at left end of an association

getB

public java.lang.String getB(Association assoc)

Returns the lower case of a class name at right end of an association

getLeftEndName

public java.lang.String getLeftEndName(Association assoc)

getRightEndName

public java.lang.String getRightEndName(Association assoc)

getLeftRoleName

public java.lang.String getLeftRoleName(Association assoc)

getRightRoleName

public java.lang.String getRightRoleName(Association assoc)

getLeftMult

public java.lang.String getLeftMult(Association assoc)

getRightMult

public java.lang.String getRightMult(Association assoc)

getRightEnd

public AssociationEnd getRightEnd(Association assoc)

getLeftEnd

public AssociationEnd getLeftEnd(Association assoc)

getAlloyMultiplicity

public java.lang.String getAlloyMultiplicity(AssociationEnd end)

printOpenStatement

public void printOpenStatement(java.lang.String className, java.lang.String packageName, java.lang.StringBuilder code)