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

software.amazon.smithy.model.validation.node.MemberAndShapeTraitPlugin Maven / Gradle / Ivy

/*
 * Copyright 2019 Amazon.com, Inc. or its affiliates. All Rights Reserved.
 *
 * Licensed under the Apache License, Version 2.0 (the "License").
 * You may not use this file except in compliance with the License.
 * A copy of the License is located at
 *
 *  http://aws.amazon.com/apache2.0
 *
 * or in the "license" file accompanying this file. This file is distributed
 * on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either
 * express or implied. See the License for the specific language governing
 * permissions and limitations under the License.
 */

package software.amazon.smithy.model.validation.node;

import software.amazon.smithy.model.Model;
import software.amazon.smithy.model.node.Node;
import software.amazon.smithy.model.shapes.Shape;
import software.amazon.smithy.model.traits.Trait;

abstract class MemberAndShapeTraitPlugin
        implements NodeValidatorPlugin {

    private final Class targetShapeClass;
    private final Class nodeClass;
    private final Class traitClass;

    MemberAndShapeTraitPlugin(Class targetShapeClass, Class nodeClass, Class traitClass) {
        this.targetShapeClass = targetShapeClass;
        this.nodeClass = nodeClass;
        this.traitClass = traitClass;
    }

    @Override
    @SuppressWarnings("unchecked")
    public final void apply(Shape shape, Node value, Context context, Emitter emitter) {
        if (nodeClass.isInstance(value)
                && shape.getTrait(traitClass).isPresent()
                && isMatchingShape(shape, context.model())) {
            check(shape, shape.getTrait(traitClass).get(), (N) value, context, emitter);
        }
    }

    private boolean isMatchingShape(Shape shape, Model model) {
        // Is the shape the expected shape type?
        if (targetShapeClass.isInstance(shape)) {
            return true;
        }

        // Is the targeted member an instance of the expected shape?
        return shape.asMemberShape()
                .flatMap(member -> model.getShape(member.getTarget()))
                .filter(targetShapeClass::isInstance)
                .isPresent();
    }

    protected abstract void check(Shape shape, T trait, N value, Context context, Emitter emitter);
}