Esempi in C# (CSharp) per ATermPlaceholder.getPlaceholder

Esempio n. 1

File: ATermWriter.cs Progetto: scrasmussen/aterms

 public override void visitPlaceholder(ATermPlaceholder ph)         // throws VisitFailure
 {
     stream.Write('<');
     position++;
     visitChild(ph.getPlaceholder());
     stream.Write('>');
     position++;
 }

Esempio n. 2

File: ATermPlaceholderImpl.cs Progetto: scrasmussen/aterms

 public override bool equivalent(SharedObject obj)
 {
     if (base.equivalent(obj))
     {
         ATermPlaceholder peer = (ATermPlaceholder)obj;
         return(peer.getPlaceholder() == type);
     }
     return(false);
 }

Esempio n. 3

File: ATermWriter.cs Progetto: jianglili007/aterms

		public override void visitPlaceholder(ATermPlaceholder ph) // throws VisitFailure 
		{
			stream.Write('<');
			position++;
			visitChild(ph.getPlaceholder());
			stream.Write('>');
			position++;
		}