Ejemplos de ATermReal.getReal en C# (CSharp)

Ejemplo n.º 1

Archivo: ATermWriter.cs Proyecto: scrasmussen/aterms

        public override void visitReal(ATermReal r)         // throws VisitFailure
        {
            string txt = r.getReal().ToString();

            stream.Write(txt);
            position += txt.Length;
        }

Ejemplo n.º 2

Archivo: ATermRealImpl.cs Proyecto: scrasmussen/aterms

 public override bool equivalent(SharedObject obj)
 {
     if (base.equivalent(obj))
     {
         ATermReal peer = (ATermReal)obj;
         return(peer.getReal() == value);
     }
     return(false);
 }

Ejemplo n.º 3

Archivo: ATermWriter.cs Proyecto: jianglili007/aterms

		public override void visitReal(ATermReal r) // throws VisitFailure 
		{
			string txt = r.getReal().ToString();
			stream.Write(txt);
			position += txt.Length;
		}