public CallFormula(Formula instance, MethodInfo mi, Formula[] arguments)
: base()
{
Instance = instance;
Method = mi.ToMethodDecl();
arguments.AddRangeTo(Arguments);
}
public NewArrayInitFormula(Formula[] formulas, Type type)
{
formulas.AddRangeTo(Formulas);
TypeDeclaration = type.ToTypeDecl();
}
public NewFormula(ConstructorInfo ci, Formula[] arguments)
{
Constructor = ci.ToConstructorDecl();
arguments.AddRangeTo(Arguments);
}
