@Override public DeleteAction applySubst(Substitution substitution) { return new DeleteAction((getSelector() == null) ? null : getSelector().applySubst(substitution), (getParameters() == null || getParameters().isEmpty()) ? null : getParameters().get(0).applySubst(substitution), getSourceInfo()); } }
@Override public SendAction applySubst(Substitution substitution) { return new SendAction(this.operator, (getSelector() == null) ? null : getSelector().applySubst(substitution), (getParameters() == null || getParameters().isEmpty()) ? null : getParameters().get(0).applySubst(substitution), getSourceInfo()); }
public ActionPostCondition applySubst(Substitution subst) { return new ActionPostCondition((getPostCondition() == null) ? null : getPostCondition().applySubst(subst), isNegative(), getSourceInfo()); }
/** * Applies a substitution to the content of this message. * * @param substitution * Substitution for instantiating (free) variables in the message * content. * @return A message with content instantiated by applying the substitution. */ public Message applySubst(Substitution substitution) { return new Message(getSender(), getReceivers(), (getContent() == null) ? null : getContent().applySubst(substitution), getMood()); }
@Override public AdoptAction applySubst(Substitution substitution) { return new AdoptAction((getSelector() == null) ? null : getSelector().applySubst(substitution), (getUpdate() == null) ? null : getUpdate().applySubst(substitution), getSourceInfo()); } }
@Override public InsertAction applySubst(Substitution substitution) { return new InsertAction((getSelector() == null) ? null : getSelector().applySubst(substitution), (getUpdate() == null) ? null : getUpdate().applySubst(substitution), getSourceInfo()); } }
@Override public DropAction applySubst(Substitution substitution) { return new DropAction((getSelector() == null) ? null : getSelector().applySubst(substitution), (getUpdate() == null) ? null : getUpdate().applySubst(substitution), getSourceInfo()); } }