Function

java.lang.Object

cruise.umple.alloy.Function

public class Function
extends java.lang.Object

Constructor Summary

Constructors
Constructor	Description
`Function(Association assoc)`
`Function(Association assoc, java.lang.String cName)`	Reflexive relation
`Function(Attribute attr)`
`Function(java.lang.String aBeginEndRoleName, java.lang.String aTargetMult, java.lang.String aTargetClassName, Utility aUtility)`

Method Summary

Modifier and Type	Method	Description
`void`	`delete()`
`java.lang.String`	`getBeginEndRoleName()`
`java.lang.String`	`getTargetClassName()`
`java.lang.String`	`getTargetMult()`
`Utility`	`getUtility()`
`java.lang.String`	`printFunction()`
`boolean`	`setBeginEndRoleName(java.lang.String aBeginEndRoleName)`
`boolean`	`setTargetClassName(java.lang.String aTargetClassName)`
`boolean`	`setTargetMult(java.lang.String aTargetMult)`
`boolean`	`setUtility(Utility aNewUtility)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

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

Constructor Details
- Function
  
  public Function(java.lang.String aBeginEndRoleName, java.lang.String aTargetMult, java.lang.String aTargetClassName, Utility aUtility)
- Function
  
  public Function(Association assoc)
- Function
  
  public Function(Attribute attr)
- Function
  
  public Function(Association assoc, java.lang.String cName)
  
  Reflexive relation
Method Details
- setBeginEndRoleName
  
  public boolean setBeginEndRoleName(java.lang.String aBeginEndRoleName)
- setTargetMult
  
  public boolean setTargetMult(java.lang.String aTargetMult)
- setTargetClassName
  
  public boolean setTargetClassName(java.lang.String aTargetClassName)
- getBeginEndRoleName
  
  public java.lang.String getBeginEndRoleName()
- getTargetMult
  
  public java.lang.String getTargetMult()
- getTargetClassName
  
  public java.lang.String getTargetClassName()
- getUtility
  
  public Utility getUtility()
- setUtility
  
  public boolean setUtility(Utility aNewUtility)
- delete
  
  public void delete()
- printFunction
  
  public java.lang.String printFunction()
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object