public override void visitReal(ATermReal r) // throws VisitFailure { string txt = r.getReal().ToString(); stream.Write(txt); position += txt.Length; }
public override bool equivalent(SharedObject obj) { if (base.equivalent(obj)) { ATermReal peer = (ATermReal)obj; return(peer.getReal() == value); } return(false); }
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"); }
public virtual void visitReal(ATermReal arg) // throws VisitFailure { visitATerm(arg); }