Exemplos de ATermPlaceholder em C# (CSharp)

Exemplo n.º 1

Arquivo: ATermWriter.cs Projeto: scrasmussen/aterms

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

Exemplo n.º 2

Arquivo: ATermPlaceholderImpl.cs Projeto: scrasmussen/aterms

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

Exemplo n.º 3

Arquivo: ATermWriter.cs Projeto: jianglili007/aterms

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

Exemplo n.º 4

Arquivo: ATermFwd.cs Projeto: jianglili007/aterms

		public virtual void visitPlaceholder(ATermPlaceholder arg) // throws VisitFailure 
		{
			visitATerm(arg);
		}

Exemplo n.º 5

 public virtual void visitPlaceholder(ATermPlaceholder arg)         // throws VisitFailure
 {
     visitATerm(arg);
 }