Ejemplo n.º 1
0
        public Interpretation GetInterpretation(SymbolName variableName)
        {
            FuncDecl constDecl;

            if (variableName.Number != null && variableName.Text == null)
            {
                this.IntConstDecls.TryGetValue(variableName.Number.Value, out constDecl);
            }
            else
            {
                this.StringConstDecls.TryGetValue(variableName.ToString(), out constDecl);
            }

            if (constDecl == null)
            {
                return(null);
            }

            var interprExpr = this.model.ConstInterp(constDecl);

            return(TranslateInterpretation(interprExpr));
        }