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

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);
   }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy