protected void checkValidity(Tsml tsml) {
super.checkValidity(tsml);
/*
* Initial marking should be positive integer.
*/
int value = Integer.valueOf(text.getText());
if (value <= 0) {
tsml.log(tag, lineNumber, "Expected positive integer");
}
}
/**
* Sets the weight of the given arc in the given net to this inscription.
*
* @param arc The given arc.
*/
public void unmarshall(Transition transition) {
if (text != null) {
super.unmarshall(transition);
}
}