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, setId
public 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.Object
public boolean equals(java.lang.Object anObject)
public boolean isBranchable()
public void setBranchable(boolean branchable)
public void setName(java.lang.String name)