|
private InstructionGroup ( int firstIndex, int lastIndex, List |
||
| firstIndex | int | Index in the source instructions of the first instruction in this group. |
| lastIndex | int | Index in the source instructions of the last instruction in this group. |
| instructions | List |
Instructions that have been grouped together. |
| return | System | |
private InstructionGroup(int firstIndex, int lastIndex, List<Instruction> instructions)
{
Contract.Requires(firstIndex <= lastIndex);
Contract.Requires(instructions != null);
Contract.Requires(instructions.Any());
Contract.Ensures(this.FirstIndex <= this.LastIndex);
Contract.Ensures(this.Instructions != null);
Contract.Ensures(this.Instructions.Any());
this.FirstIndex = firstIndex;
this.LastIndex = lastIndex;
this.Instructions = instructions;
}