Ejemplos de ATermReal 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: Test1.cs Proyecto: scrasmussen/aterms

        public void testMakeReal()
        {
            ATermReal[] term = new ATermReal[2];

            term[0] = factory.makeReal(Math.PI);
            term[1] = factory.makeReal(Math.PI);

            assertTrue(term[0].getType() == ATermType.REAL);
            assertTrue(term[0].getReal() == Math.PI);
            assertTrue(term[0] == term[1]);

            ArrayList result;

            result = term[0].match("<real>");
            assertTrue(result != null);
            assertTrue(result.Count == 1);
            assertTrue(result[0].Equals(Math.PI));

            Console.Out.WriteLine("pass: testMakeReal");
        }

Ejemplo n.º 4

Archivo: Test1.cs Proyecto: jianglili007/aterms

		public void testMakeReal() 
		{
			ATermReal[] term = new ATermReal[2];

			term[0] = factory.makeReal(Math.PI);
			term[1] = factory.makeReal(Math.PI);

			assertTrue(term[0].getType() == ATermType.REAL);
			assertTrue(term[0].getReal() == Math.PI);
			assertTrue(term[0] == term[1]);

			ArrayList result;

			result = term[0].match("<real>");
			assertTrue(result != null);
			assertTrue(result.Count == 1);
			assertTrue(result[0].Equals(Math.PI));

			Console.Out.WriteLine("pass: testMakeReal");
		}

Ejemplo n.º 5

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;
		}

Ejemplo n.º 6

Archivo: ATermFwd.cs Proyecto: jianglili007/aterms

		public virtual void visitReal(ATermReal arg) // throws VisitFailure 
		{
			visitATerm(arg);
		}

Ejemplo n.º 7

 public virtual void visitReal(ATermReal arg)         // throws VisitFailure
 {
     visitATerm(arg);
 }