org.snapscript.core.constraint.ModuleConstraint Maven / Gradle / Ivy
package org.snapscript.core.constraint;
import org.snapscript.core.module.Module;
import org.snapscript.core.scope.Scope;
import org.snapscript.core.type.Type;
public class ModuleConstraint extends Constraint {
private final Module module;
public ModuleConstraint(Module module) {
this.module = module;
}
@Override
public Type getType(Scope scope){
return module.getType();
}
@Override
public boolean isModule() {
return true;
}
@Override
public boolean isConstant() {
return true;
}
@Override
public String toString(){
return String.valueOf(module);
}
}