public static VariableSet GetVariableSet(this DfirElement dfirElement) { if (dfirElement is BorderNode) { throw new ArgumentException("Cannot get a VariableSet from a BorderNode; specify a Terminal instead."); } return(dfirElement.DfirRoot.GetVariableSet()); }
public static TypeVariableSet GetTypeVariableSet(this DfirElement element) { return(element.DfirRoot.GetTypeVariableSet()); }
public static VariableSet GetVariableSet(this DfirElement dfirElement) { return(dfirElement.DfirRoot.GetVariableSet()); }