public VariableIndex(VariableDefinition variable) { if (variable == null) throw new ArgumentNullException ("variable"); this.variable = variable; this.index = null; }