C# (CSharp) ATermPlaceholderの例

コード例 #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++;
		}

コード例 #4

ファイル: ATermFwd.cs プロジェクト: jianglili007/aterms

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

コード例 #5

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