// Add a hint to indicate to the PtolemyQuery class to open with a text style.
Variable variable = new Variable(annotation, "_textHeightHint");
variable.setExpression("5");
variable.setPersistent(false);
guardExpression = new StringAttribute(this, "guardExpression");
// Add a hint to indicate to the PtolemyQuery class to open with a text style.
variable = new Variable(guardExpression, "_textHeightHint");
variable.setExpression("5");
variable.setPersistent(false);
outputActions = new OutputActionsAttribute(this, "outputActions");
// Add a hint to indicate to the PtolemyQuery class to open with a text style.
variable = new Variable(outputActions, "_textHeightHint");
variable.setExpression("5");
variable.setPersistent(false);
setActions = new CommitActionsAttribute(this, "setActions");
// Add a hint to indicate to the PtolemyQuery class to open with a text style.
variable = new Variable(setActions, "_textHeightHint");
variable.setExpression("5");
variable.setPersistent(false);
exitAngle = new Parameter(this, "exitAngle");
exitAngle.setVisibility(Settable.NONE);
exitAngle.setExpression("PI/5.0");
exitAngle.setTypeEquals(BaseType.DOUBLE);
gamma = new Parameter(this, "gamma");
gamma.setVisibility(Settable.NONE);
gamma.setExpression("0.0");
gamma.setTypeEquals(BaseType.DOUBLE);
reset = new Parameter(this, "reset");
reset.setTypeEquals(BaseType.BOOLEAN);
reset.setToken(BooleanToken.FALSE);
preemptive = new Parameter(this, "preemptive");
preemptive.setTypeEquals(BaseType.BOOLEAN);
preemptive.setToken(BooleanToken.FALSE);
// default attributes.
defaultTransition = new Parameter(this, "defaultTransition");
defaultTransition.setTypeEquals(BaseType.BOOLEAN);
defaultTransition.setToken(BooleanToken.FALSE);
// Nondeterministic attributes.
nondeterministic = new Parameter(this, "nondeterministic");
nondeterministic.setTypeEquals(BaseType.BOOLEAN);
nondeterministic.setToken(BooleanToken.FALSE);
// Add refinement name parameter
refinementName = new StringAttribute(this, "refinementName");
}