Exemple #1
0
		public override void Validate(ValidationContext validationContext)
		{
			validationContext.PushScope("in " + TypeName + " '" + _name + "'");
			base.Validate(validationContext);
			this.ValidateLeavingTransitions(validationContext);
			validationContext.PopScope();
		}
Exemple #2
0
 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();
		}
Exemple #4
0
        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();
        }