Examples with DeclProperties mb.nabl2.constraints.namebinding.DeclProperties used on opensource projects

Example 1 with DeclProperties

use of mb.nabl2.constraints.namebinding.DeclProperties in project nabl by metaborg.

the class Solution method findAndLock.

@Override
public ISolution findAndLock() {
    final IProperties.Transient<TermIndex, ITerm, ITerm> astProperties = astProperties().melt();
    astProperties.mapValues(unifier()::findRecursive);
    final IProperties.Transient<Occurrence, ITerm, ITerm> declProperties = declProperties().melt();
    declProperties.mapValues(unifier()::findRecursive);
    final ISymbolicConstraints symbolic = symbolic().map(unifier()::findRecursive);
    return ImmutableSolution.builder().from(this).astProperties(astProperties.freeze()).declProperties(declProperties.freeze()).symbolic(symbolic).build();
}