Esempio n. 1
0
        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)));
        }