public class Parameter extends Base
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
| Constructor and Description |
|---|
Parameter(int aId,
java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
clone()
clone
|
boolean |
equals(java.lang.Object anObject)
equals
|
java.lang.String |
getName()
getName
|
LineStyle |
getStyle() |
int |
hasCode() |
boolean |
isBranchable() |
void |
setBranchable(boolean branchable) |
void |
setName(java.lang.String name) |
java.lang.String |
toString()
toString
|
cloneAttributes, getId, getIdString, hashCode, newInstance, nextId, setIdpublic Parameter(int aId,
java.lang.String name)
aConstraintDefintion - ConstraintDefinitionaFormalParameter - FormalParameterpublic int hasCode()
public java.lang.String getName()
public LineStyle getStyle()
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object anObject)
public boolean isBranchable()
public void setBranchable(boolean branchable)
public void setName(java.lang.String name)