public PiProcess(Pos pos)
: base(pos)
{
}
public PiNil(Pos pos)
: base(pos)
{
}
public PiParallel(Pos pos, Node piprocess1, Node piprocess2)
: base(pos)
{
childNodes.Add(piprocess1);
childNodes.Add(piprocess2);
}
public PiId(Pos pos, string id)
: base(pos)
{
this.id = id;
}
public PiIfThenNode(Pos pos, Node expression, Node piprocess)
: base(pos)
{
childNodes.Add(expression);
childNodes.Add(piprocess);
}
public EventCond_AtomCount(Pos pos, CondType condType, string id, string value)
: base(pos, condType)
{
entityName = id;
entityValue = Int32.Parse(value);
}
public PiAction(Pos pos, Node action)
: base(pos)
{
childNodes.Add(action);
}
public EventCond(Pos p_pos, CondType p_type)
{
pos = p_pos;
condType = p_type;
}
public EventCond_And(Pos pos, EventCond p_left, EventCond p_right)
: base(pos, CondType.COND_EXPRESSION)
{
left = p_left;
right = p_right;
}
public EventCond_AtomStates(Pos pos, CondType condType, List<EventState> states)
: base(pos, condType)
{
eventStates = states;
}
public EventCond_Not(Pos pos, EventCond p_cond)
: base(pos, CondType.COND_EXPRESSION)
{
cond = p_cond;
}
public EventCond_AtomStates(Pos pos, CondType condType, Node state_list_node)
: base(pos, condType)
{
this.condType = condType;
PTN_EventCond_StateList stateList = (PTN_EventCond_StateList)state_list_node;
eventStates = new List<EventState>();
stateList.BuildList(eventStates);
}
private EventCond_AtomDet(Pos pos, CondType condType)
: base(pos, condType)
{
}
public EventCond_AtomDet(Pos pos, CondType condType, string value)
: base(pos, condType)
{
param = Double.Parse(value, CultureInfo.InvariantCulture);
}
public PiReplication(Pos pos, Node action, Node piprocess)
: base(pos)
{
childNodes.Add(action);
childNodes.Add(piprocess);
}
public PiChoice(Pos pos, Node seqOrSumlist, Node seq2)
: base(pos)
{
childNodes.Add(seqOrSumlist);
childNodes.Add(seq2);
}
public PiBinaryOperator(Pos pos)
: base(pos)
{
}
public EventCond_AtomCount(Pos pos, CondType condType)
: base(pos, condType)
{
}
