Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Scala error: type arguments do not conform to class type parameter bounds

Tags:

scala

See the following function definition:

class Entity[T](
               val pi : T => String,
               val si : T => Map[Symbol,String],
               val tag : ClassTag[T],
               val address: T=>AnyRef
) {
      // some other definitions here ... 
      def filterEntity(attribute: DiscreteAttribute[T], value: String ):Unit={
         // nothing 
      }

}

The compiler gives me the following error:

/Users/i-danielk/ideaProjects/saul/src/main/scala/edu/illinois/cs/cogcomp/lfs/data_model/entity/Entity.scala:67: type arguments [T] do not conform to class DiscreteAttribute's type parameter bounds [T <: AnyRef]
[error]   def filterEntity(attribute: DiscreteAttribute[T], value: String ):Entity[T]={

And here is the definition of the DiscreteAttribute:

case class DiscreteAttribute[T <: AnyRef](
                                 val name : String,
                                 val mapping: T => String,
                                 val range : Option[List[String]]
                                 )(implicit val tag : ClassTag[T]) extends TypedAttribute[T,String]{
....
}

Any idea where I am going wrong?

Update: The following does not work either:

def filterEntity(attribute: DiscreteAttribute[T <: AnyRef], value: String ):Entity[T]={ 

Here is the error:

 /Users/i-danielk/ideaProjects/saul/src/main/scala/edu/illinois/cs/cogcomp/lfs/data_model/entity/Entity.scala:67: ']' expected but '<:' found.
[error]   def filterEntity(attribute: DiscreteAttribute[T <: AnyRef], value: String ):Entity[T]={

Update2: here is how it's been used:

   val filteredConstituent= EdisonDataModel.constituents.filterEntity(EdisonDataModel.Eview,"Token")

where

object EdisonDataModel extends DataModel {
  val Eview = discreteAttributeOf[Constituent]('CviewName){
    x=>x.getViewName
}

and

  def discreteAttributeOf[T <: AnyRef](name : Symbol)(f : T => String)(implicit tag : ClassTag[T]) : DiscreteAttribute[T] = {
   new DiscreteAttribute[T](name.toString,f,None)
  }

Update 3: The same error holds for the following function definition:

  def filterEntity(attribute: DiscreteAttribute[T], value: String ):Unit={
      // empty 
  }
like image 862
Daniel Avatar asked Sep 17 '15 17:09

Daniel


1 Answers

You need to define a restriction for the T type that is affecting the filterEntity method.

e.g. class Something[T <: AnyRef] so that it matches the restriction on DiscreteAttribute

In your case you want to have the declaration of Entity as: class Entity[T <: AnyRef].

like image 103
emilianogc Avatar answered Sep 29 '22 04:09

emilianogc