public override void Validate(ValidationContext validationContext) { validationContext.PushScope("in " + TypeName + " '" + _name + "'"); base.Validate(validationContext); this.ValidateLeavingTransitions(validationContext); validationContext.PopScope(); }
public override void Validate(ValidationContext validationContext) { // the fork & join are required validationContext.Check((_fork != null), "a concurrent block does not have a fork"); validationContext.Check((_join != null), "a concurrent block does not have a join"); validationContext.PushScope("in concurrent-block [" + _fork.Name + "|" + _join.Name + "]"); base.Validate(validationContext); validationContext.PopScope(); }