コード例 #1
0
ファイル: ATermWriter.cs プロジェクト: scrasmussen/aterms
        public override void visitReal(ATermReal r)         // throws VisitFailure
        {
            string txt = r.getReal().ToString();

            stream.Write(txt);
            position += txt.Length;
        }
コード例 #2
0
ファイル: ATermRealImpl.cs プロジェクト: scrasmussen/aterms
 public override bool equivalent(SharedObject obj)
 {
     if (base.equivalent(obj))
     {
         ATermReal peer = (ATermReal)obj;
         return(peer.getReal() == value);
     }
     return(false);
 }
コード例 #3
0
ファイル: ATermWriter.cs プロジェクト: jianglili007/aterms
		public override void visitReal(ATermReal r) // throws VisitFailure 
		{
			string txt = r.getReal().ToString();
			stream.Write(txt);
			position += txt.Length;
		}