コード例 #1
0
ファイル: FullSymbol.cs プロジェクト: microsoft/BuildXL
        public SymbolAtom GetName(SymbolTable table)
        {
            Contract.RequiresNotNull(table, "table != null");
            Contract.Requires(IsValid);

            return(new SymbolAtom(table.GetFinalComponent(Value)));
        }
コード例 #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)));
        }