All Downloads are FREE. Search and download functionalities are using the official Maven repository.

cdc.applic.dictionaries.edit.checks.EnAssertionsChecker Maven / Gradle / Ivy

The newest version!
package cdc.applic.dictionaries.edit.checks;

import java.util.List;
import java.util.stream.Collectors;

import cdc.applic.dictionaries.edit.EnDictionary;
import cdc.applic.dictionaries.edit.EnLocation;
import cdc.applic.dictionaries.edit.EnUserDefinedAssertion;
import cdc.issues.checks.AbstractPartsChecker;
import cdc.issues.checks.SnapshotManager;
import cdc.issues.locations.LocatedObject;
import cdc.util.lang.Introspection;

public class EnAssertionsChecker extends AbstractPartsChecker, EnUserDefinedAssertion, EnAssertionsChecker> {
    public EnAssertionsChecker(SnapshotManager manager) {
        super(manager,
              Introspection.uncheckedCast(EnDictionary.class),
              EnUserDefinedAssertion.class,
              new EnAssertionChecker(manager));
    }

    @Override
    protected List> getParts(EnDictionary object) {
        final List parts = object.getUserDefinedAssertions();
        return parts.stream()
                    .map(x -> LocatedObject.of(x, EnLocation.builder().element(x).build()))
                    .collect(Collectors.toList());
    }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy