org.btrplace.safeplace.spec.Constraint Maven / Gradle / Ivy

Go to download
/*
 * Copyright (c) 2016 University Nice Sophia Antipolis
 *
 * This file is part of btrplace.
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 3 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this program.  If not, see .
 */

package org.btrplace.safeplace.spec;

import org.btrplace.model.constraint.SatConstraint;
import org.btrplace.safeplace.spec.prop.Proposition;
import org.btrplace.safeplace.spec.term.Constant;
import org.btrplace.safeplace.spec.term.UserVar;
import org.btrplace.safeplace.spec.term.func.Function;
import org.btrplace.safeplace.spec.type.BoolType;
import org.btrplace.safeplace.spec.type.Type;
import org.btrplace.safeplace.testing.verification.spec.Context;

import java.lang.reflect.Constructor;
import java.util.ArrayList;
import java.util.List;
import java.util.stream.Collectors;
import java.util.stream.Stream;

/**
 * @author Fabien Hermenier
 */
public class Constraint implements Function {

    private String name;

    private Proposition prop;

    private List> args;

    private Class impl;

    public Constraint(String name, Proposition prop) {
        this.name = name;
        this.prop = prop;
        args = new ArrayList<>();
    }

    @Override
    public BoolType type() {
        return BoolType.getInstance();
    }

    @Override
    public String id() {
        return name;
    }

    public String pretty() {
        return args.stream().map(UserVar::pretty)
                .collect(Collectors.joining(", ", id() + '(', ") ::= " + proposition()));
    }

    @Override
    public String toString() {
        return id();
    }

    public String toString(List values) {
        return values.stream().map(Constant::toString).collect(Collectors.joining(", ", id() + "(", ")"));
    }

    public String signatureToString() {
        return Stream.of(signature()).map(Type::toString).collect(Collectors.joining(", ", id() + "(", ")"));
    }

    @Override
    public Boolean eval(Context mo, Object... values) {
        for (int i = 0; i < this.args.size(); i++) {
            UserVar v = this.args.get(i);
            mo.setValue(v.label(), values[i]);
        }
        return proposition().eval(mo);
    }

    public Proposition proposition() {
        return prop;
    }

    public List> args() {
        return args;
    }

    public Constraint args(List> args) {
        this.args = args;
        return this;
    }

    @Override
    public Type[] signature() {
        Type[] types = new Type[args.size()];
        for (int i = 0; i < args.size(); i++) {
            types[i] = args.get(i).type();
        }
        return types;

    }

    public Constraint impl(Class impl) {
        this.impl = impl;
        return this;
    }

    public Class impl() {
        return impl;
    }

    public SatConstraint instantiate(List