1
J'ai la classe suivante:erreur constructeur Surchargé
class Step(kind:TipoStep.Value,
message:String = "",
study:List[Formula] = List(),
lastAdd:Set[Formula] = Set(),
lastDel:Set[Formula] = Set(),
add:List[Formula] = List(),
del:List[Formula] = List()
) {
def this(step:Step,
kind:TipoStep.Value,
message:String = "",
study:List[Formula] = List(),
lastAdd:Set[Formula] = Set(),
lastDel:Set[Formula] = Set()) = this(kind, message, study, lastAdd, lastDel, step.getAllAdd, step.getAllDel)
/* ... */
}
compilateur me montre erreur folloging:
error: ambiguous reference to overloaded definition,
both method init$default$5 in object Step of type => scala.collection.mutable.Set[org.lorea.pltl.formula.Formula]
and method init$default$5 in object Step of type => scala.collection.mutable.Set[org.lorea.pltl.formula.Formula]
match expected type scala.collection.mutable.Set[org.lorea.pltl.formula.Formula]
step = new Step(TipoStep.R_fixpoint, s, List(c1, c2), news)
Cette solution ne fonctionne pas. – barroco
@ isola009: Vous allez devoir en dire plus. Qu'avez-vous spécifiquement essayé? Quelle erreur a résulté? –