Exemplo n.º 1
0
        public SymbolAtom GetName(SymbolTable table)
        {
            Contract.RequiresNotNull(table, "table != null");
            Contract.Requires(IsValid);

            return(new SymbolAtom(table.GetFinalComponent(Value)));
        }
Exemplo n.º 2
0
        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)));
        }