org.coode.oppl.function.Constant Maven / Gradle / Ivy

Go to download
package org.coode.oppl.function;

import org.coode.oppl.ConstraintSystem;
import org.coode.oppl.Variable;
import org.semanticweb.owlapi.util.ShortFormProvider;

/** @author Luigi Iannone
 * @param 
 *            type */
public class Constant extends AbstractOPPLFunction implements OPPLFunction {
    private final O value;
    private final ValueComputation valueComputation = new ValueComputation() {
        @Override
        public O compute(OPPLFunction opplFunction) {
            return Constant.this.getValue();
        }
    };

    /** @param value
     *            value */
    public Constant(O value) {
        this.value = value;
    }

    /** @return value */
    public O getValue() {
        return this.value;
    }

    @Override
    public  P accept(OPPLFunctionVisitorEx visitor) {
        return visitor.visitConstant(this);
    }

    @Override
    public void accept(OPPLFunctionVisitor visitor) {
        visitor.visitConstant(this);
    }

    @Override
    public ValueComputation getValueComputation(ValueComputationParameters parameters) {
        return this.valueComputation;
    }

    @Override
    public String render(ConstraintSystem constraintSystem) {
        return this.getValue() instanceof Variable ? ((Variable) this.getValue())
                .getName() : this.getValue() instanceof String ? String.format("\"%s\"",
                this.getValue()) : this.getValue().toString();
    }

    @Override
    public String render(ShortFormProvider shortFormProvider) {
        return this.getValue() instanceof Variable ? ((Variable) this.getValue())
                .getName() : this.getValue() instanceof String ? String.format("\"%s\"",
                this.getValue()) : this.getValue().toString();
    }

    @Override
    public int hashCode() {
        final int prime = 31;
        int result = 1;
        result = prime * result + (this.value == null ? 0 : this.value.hashCode());
        return result;
    }

    @Override
    public boolean equals(Object obj) {
        if (this == obj) {
            return true;
        }
        if (obj == null) {
            return false;
        }
        if (this.getClass() != obj.getClass()) {
            return false;
        }
        Constant other = (Constant) obj;
        if (this.value == null) {
            if (other.value != null) {
                return false;
            }
        } else if (!this.value.equals(other.value)) {
            return false;
        }
        return true;
    }
}