scala - ScalaTest - writing custom matchers -


i running problem while writing custom matcher nodeseq:

private def matchxml(expected: nodeseq) = new matcher[nodeseq] {   def apply(left: nodeseq): matchresult = matchresult(left xml_== expected,     "xml structure not same (watch spaces in tag texts)",     "xml messages equal") }

this compiles, following piece of code:

val expected : nodeseq = ... val xml : nodeseq = ...  xml should matchxml(expected)

causes:

error: overloaded method value should alternatives: (beword: xmlstripdecoratortests.this.beword)xmlstripdecoratortests.this.resultofbewordforanyref[scala.collection.genseq[scala.xml.node]] <and> (notword: xmlstripdecoratortests.this.notword)xmlstripdecoratortests.this.resultofnotwordforanyref[scala.collection.genseq[scala.xml.node]] <and> (haveword: xmlstripdecoratortests.this.haveword)xmlstripdecoratortests.this.resultofhavewordforseq[scala.xml.node] <and> (rightmatcher: org.scalatest.matchers.matcher[scala.collection.genseq[scala.xml.node]])unit cannot applied (org.scalatest.matchers.matcher[scala.xml.nodeseq]) xml should (matchxml(expected))

any ideas means?

why fails typecheck:

the type checker works in following way.

xml.should(matchxml(expected))
  • because method should not part of nodeseq, compiler tries find implicit conversion xml shouldmatcher. book "programming in scala" specifies such implicit conversion should specific:

"up through scala 2.7, end of story. whenever multiple implicit conversions applied, compiler refused choose between them. ... scala 2.8 loosens rule. if 1 of available conversions strictly more specific others, compiler choose more specific one. ... 1 implicit conversion more specific if 1 of following applies: argument type of former subtype of latter’s. .."

  • because nodeseq extends seq[node], following function

    converttoseqshouldwrapper[t](o : scala.genseq[t]) : seqshouldwrapper[t]

    is therefore specific 1 among others.

the program rewritten as:

`converttoseqshouldwrapper(xml).should(matchxml(expected))`

where converttoseqshouldwrapper(xml) seqshouldwrapper[t] t = genseq[node].

the method should seqshouldwrapper accepts matcher[t] function of type t => matchresult. therefore, accepts matcher[genseq[node]].

because t appearing left of arrow, matchers not covariant in t, contravariant. nodeseq genseq[node], matcher[genseq[node]] matcher[nodeseq], not opposite.this explains above error, method should cannot accept matcher[nodeseq] , requires matcher[genseq[node]].

2 solutions

  • replace instances of nodeseq genseq[node] type matches everywhere.

  • alternatively, wrap xml explicitely conversion function.

    converttoanyshouldwrapper(xml).should(matchxml(expected))


Comments

Post a Comment

Popular posts from this blog

linux - Does gcc have any options to add version info in ELF binary file? -

i mean whether gcc can insert source code version infor elf binary section or similar. not want change source file, add info gcc option in makefile. you can emit version info text file, turn text file object file statically link executable. the first step simple have write code: script or write version info in format plain text file. write makefile rule produce version.o version.txt, using objcopy . you'll have object file 2 useful symbols defined in it: beginning , end of textual version info. add generated object executable, , you'll able access version 2 ways: running strings on binary, or writing code in application print version string (you'll need declare start , end symbols variables in header file).
Read more

java - Are there any classes that implement javax.persistence.Parameter<T>? -

i'm using named queries fetch entities database using jpa , hibernate , came across puzzling me: how come there no default implementations of javax.persistence.parameter interface? i rather impressed how @staticmetamodel used criteriabuilder in jpa2 meaning type safety , don't have mess around setting string names. wanted apply similar of jpa1 ejb's i'm working on: dealergroup_.class: public dealergroup_ { public parameter<integer> id = new parameterimpl<integer>("id"); /// etc... } dealergroupfacade.class: // ... public dealergroup fetch(integer id) { typedquery<dealergroup> query = em.createnamedquery("dealergroup.fetchbyid", dealergroup.class); query.setparameter(dealergroup_.id, query); return query.getsingleresult(); } // ... i surprised find there no implementations of parameter interface - of course, implement myself absence makes me suspicious may mistake using in way? should implementing parameter...
Read more

android - send complex objects as post php java -

is possible send contact numbers via post php class inside eclipse ? or post limited primitive types , have find work arounds send them string ? i propose: send them json in post request, befor start, have @ gson project , keep in mind set content application -> json. luck
Read more