public void addInstance(ExpressionList arguments) { argumentInstances[arguments.ToString()] = arguments; if (arguments.isGround) { groundArgumentInstances[arguments.ToString()] = arguments; } else { nonGroundArgumentInstances[arguments.ToString()] = arguments; } }
public override Expression getEarliestIncarnation(ExpressionList indices, PropositionalFormula condition) { var result = incarnation; var s = indices.ToString(); if (!cache.TryGetValue(indices.ToString(), out result)) { if (mapAnalyzer.isDisjoint(indices, updatedIndices)) { result = predecessor.getEarliestIncarnation(indices, condition); //TODO:add guard/inbetween } else { result = incarnation; } cache[s] = result; } return(result); }
public void testTuple() { String statement = "(1,\"John\",'12:12:12')"; ETestParser parser = new ETestParser(statement, false); TupleLiteral literal = parser.parse_tuple_literal(); Assert.IsNotNull(literal); ExpressionList list = ((TupleLiteral)literal).Expressions; Assert.AreEqual("1", list[0].ToString()); Assert.AreEqual("\"John\"", list[1].ToString()); Assert.AreEqual("'12:12:12'", list[2].ToString()); Assert.AreEqual("1, \"John\", '12:12:12'", list.ToString()); }
private static String ToTupleString(ExpressionList expressions) { return("(" + expressions.ToString() + (expressions.Count == 1 ? "," : "") + ")"); }
public ListLiteral(ExpressionList expressions, bool mutable) : base("[" + expressions.ToString() + "]", new ListValue(MissingType.Instance)) { this.expressions = expressions; this.mutable = mutable; }
public override string ToString() => functionName + "(" + (callArgs == null? "" : callArgs.ToString()) + ")";
public SetLiteral(ExpressionList expressions) : base("<" + expressions.ToString() + ">", new SetValue(MissingType.Instance)) { this.expressions = expressions; }
public override String ToString() { return("store " + storables.ToString()); }