Exemplos de TerminalUnificationResult em C# (CSharp)

Exemplo n.º 1

        internal ITypeUnificationResult GetTypeUnificationResult(Terminal terminal, TypeVariableReference terminalTypeVariable, TypeVariableReference unifyWith)
        {
            TerminalUnificationResult unificationResult;

            if (!_unificationResults.TryGetValue(terminal, out unificationResult))
            {
                _unificationResults[terminal] = unificationResult = new TerminalUnificationResult(terminalTypeVariable, unifyWith);
            }
            return(new TerminalTypeUnificationResult(unificationResult));
        }

Exemplo n.º 2

 public TerminalTypeUnificationResult(TerminalUnificationResult unificationResult)
 {
     _unificationResult = unificationResult;
 }