protected internal MethodCallFormulaRef(
IFormulaRef instance,
IMethodDeclaration method,
Collection<IFormulaRef> arguments,
ITypeDeclaration type,
IFormulaRef parent)
: base(instance,
method,
arguments.ToReadOnlyWithCast<IFormula>(),
type,
parent)
{
this.parent = parent;
this.instance = instance;
this.arguments = arguments;
}
protected internal BlockFormulaRef(
IBlockFormulaRef parentBlock,
Collection<IBlockFormulaRef> childBlocks,
Collection<IFormulaRef> variables,
Collection<IFormulaRef> formulas,
IFormulaRef result,
ITypeDeclaration type,
IFormulaRef parent)
: base(parentBlock,
childBlocks.ToReadOnlyWithCast<IBlockFormula>(),
variables.ToReadOnlyWithCast<IFormula>(),
formulas.ToReadOnlyWithCast<IFormula>(),
result,
type,
parent)
{
this.parent = parent;
this.parentBlock = parentBlock;
this.childBlocks = childBlocks;
this.variables = variables;
this.formulas = formulas;
this.result = result;
}
