Exemple #1
0
 public override void accept(ATermVisitor v)         // throws VisitFailure
 {
     v.visitList(this);
 }
Exemple #2
0
		   public override void accept(ATermVisitor v) // throws VisitFailure 
		   {
			   v.visitPlaceholder(this);
		   }
Exemple #3
0
		abstract public void accept(ATermVisitor visitor);
Exemple #4
0
		public override void accept(ATermVisitor v) // throws VisitFailure 
		{
			v.visitBlob(this);
		}
Exemple #5
0
 abstract public void accept(ATermVisitor visitor);
Exemple #6
0
 public override void accept(ATermVisitor v)            // throws VisitFailure
 {
     v.visitPlaceholder(this);
 }