public SymbolAtom GetName(SymbolTable table) { Contract.RequiresNotNull(table, "table != null"); Contract.Requires(IsValid); return(new SymbolAtom(table.GetFinalComponent(Value))); }
public SymbolAtom GetName(SymbolTable table) { Contract.Requires(table != null, "table != null"); Contract.Requires(IsValid); Contract.Ensures(Contract.Result <SymbolAtom>().IsValid); return(new SymbolAtom(table.GetFinalComponent(Value))); }