C# (CSharp) ATermPlaceholder.getPlaceholder示例

示例#1

文件： ATermWriter.cs 项目： scrasmussen/aterms

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

示例#2

文件： ATermPlaceholderImpl.cs 项目： scrasmussen/aterms

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

示例#3

文件： ATermWriter.cs 项目： jianglili007/aterms

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