org.snapscript.core.variable.bind.TypeResult Maven / Gradle / Ivy

package org.snapscript.core.variable.bind;

import static org.snapscript.core.ModifierType.CLASS;

import org.snapscript.core.constraint.Constraint;
import org.snapscript.core.constraint.StaticConstraint;
import org.snapscript.core.type.Type;
import org.snapscript.core.variable.Constant;
import org.snapscript.core.variable.Value;

public class TypeResult implements VariableResult {
   
   private final Constraint constraint;
   private final Value value;
   
   public TypeResult(Type type) {
      this.constraint = new StaticConstraint(type, CLASS.mask);
      this.value = new Constant(type);
   }

   @Override
   public Constraint getConstraint(Constraint left) {
      return constraint;
   }

   @Override
   public Value getValue(Object left) {
      return value;
   }

}