public override JsonIr ToJSON()
{
return(new JsonIr(GetType())
.AppendChild(JsonIr.ListToJSON(body))
.AppendChild(JsonIr.ListToJSON(handlers))
.AppendChild(JsonIr.ListToJSON(else_part)));
}
public override JsonIr ToJSON()
{
return(new JsonIr(GetType())
//.AppendChild(JsonIr.ListToJSON(uses))
.AppendChild(JsonIr.ListToJSON(units_and_standalones))
.AppendChild(ToJSON(anonymous)));
}
public override JsonIr ToJSON()
{
return(new JsonIr(GetType(), prefix.ToString())
.AppendChild(ToJSON(loop_counter))
.AppendChild(ToJSON(while_clause))
.AppendChild(JsonIr.ListToJSON(invariants))
.AppendChild(ToJSON(body))
.AppendChild(JsonIr.ListToJSON(variants)));
}
public override JsonIr ToJSON()
{
return(base.ToJSON()
//.AppendChild(ToJSON(alias))
//.AppendChild(new JsonIr("PURE_SAFE_SPEC", isPure ? "pure" : isSafe ? "safe" : null))
//.AppendChild(new JsonIr("ABSTRACT_SPEC", isAbstract ? "abstract" : null))
.AppendChild(isForeign ? new JsonIr("FOREIGN_SPEC") : null)
//.AppendChild(new JsonIr("OVERRIDE_SPEC", isOverride ? "override" : null))
//.AppendChild(JsonIr.ListToJSON(genericParameters))
.AppendChild(JsonIr.ListToJSON(parameters))
.AppendChild(ToJSON(type))
.AppendChild(
new JsonIr("PRECONDITION", requireElse ? "require else" : null)
.AppendChild(JsonIr.ListToJSON(preconditions))
)
.AppendChild(ToJSON(routineBody))
.AppendChild(
new JsonIr("POSTCONDITION", ensureThen ? "ensure then" : null)
.AppendChild(JsonIr.ListToJSON(postconditions))
));
}
public override JsonIr ToJSON()
{
return(new JsonIr(GetType())
.AppendChild(JsonIr.ListToJSON(types)));
}
public override JsonIr ToJSON()
{
return(base.ToJSON()
.AppendChild(JsonIr.ListToJSON(expressions)));
}
public override JsonIr ToJSON()
{
return(base.ToJSON()
.AppendChild(JsonIr.ListToJSON(ifThenParts))
.AppendChild(ToJSON(elsePart)));
}
public override JsonIr ToJSON()
{
return(base.ToJSON()
.AppendChild(ToJSON(secondary))
.AppendChild(JsonIr.ListToJSON(actuals)));
}
public override JsonIr ToJSON()
{
return(new JsonIr(GetType()) // do not use base.ToJSON(), no need
.AppendChild(JsonIr.ListToJSON(constants)));
}