org
.
w3
.
banana
RDFOpsTest
Related Doc:
package banana
class
RDFOpsTest
[
Rdf <:
RDF
]
extends
SpecLite
Linear Supertypes
SpecLite
,
Properties
,
Prop
,
Testable
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
RDFOpsTest
SpecLite
Properties
Prop
Testable
AnyRef
Any
Implicitly
by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Instance Constructors
new
RDFOpsTest
()
(
implicit
ops:
RDFOps
[
Rdf
]
)
Type Members
implicit
class
AnyOps
[
A
]
extends
AnyRef
Definition Classes
SpecLite
implicit
class
PropertyOps
extends
AnyRef
Definition Classes
SpecLite
class
PropertySpecifier
extends
AnyRef
Definition Classes
Properties
implicit
class
StringOps
extends
AnyRef
Definition Classes
SpecLite
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
def
&&
(
p: ⇒
Prop
)
:
Prop
Definition Classes
Prop
def
+
(
other:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
any2stringadd
[
RDFOpsTest
[
Rdf
]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def
++
(
p: ⇒
Prop
)
:
Prop
Definition Classes
Prop
def
->
[
B
]
(
y:
B
)
: (
RDFOpsTest
[
Rdf
],
B
)
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
ArrowAssoc
[
RDFOpsTest
[
Rdf
]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline
()
def
:|
(
l:
Symbol
)
:
Prop
Definition Classes
Prop
def
:|
(
l:
String
)
:
Prop
Definition Classes
Prop
def
==
(
p: ⇒
Prop
)
:
Prop
Definition Classes
Prop
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
==>
(
p: ⇒
Prop
)
:
Prop
Definition Classes
Prop
implicit
def
Function1IntInt
[
A
]
(
implicit
A:
Arbitrary
[
Int
]
)
:
Arbitrary
[(
Int
) ⇒
Int
]
Definition Classes
SpecLite
def
apply
(
p:
Parameters
)
:
Result
Definition Classes
Properties → Prop
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
implicit
def
booleanToProp
(
b: ⇒
Boolean
)
:
Prop
Definition Classes
SpecLite
def
check
(
x: ⇒
Boolean
)
:
Prop
Definition Classes
SpecLite
def
check
:
Unit
Definition Classes
Properties → Prop
def
check
(
prms:
Parameters
)
:
Unit
Definition Classes
Properties → Prop
def
check
(
paramFun: (
Parameters
) ⇒
Parameters
)
:
Unit
Definition Classes
Prop
implicit
def
check1
[
T
,
R
]
(
result: (
T
) ⇒
R
)
(
implicit
toProp: (⇒
R
) ⇒
Prop
,
a:
Arbitrary
[
T
]
,
s:
Shrink
[
T
]
)
:
Prop
Definition Classes
SpecLite
def
checkAll
(
props:
Properties
)
:
Seq
[
ListBuffer
[(
String
,
Prop
)]]
Definition Classes
SpecLite
def
checkAll
(
name:
String
,
props:
Properties
)
:
Seq
[
ListBuffer
[(
String
,
Prop
)]]
Definition Classes
SpecLite
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
combine
(
p:
Prop
)
(
f: (
Result
,
Result
) ⇒
Result
)
:
Prop
Definition Classes
Prop
def
ensuring
(
cond: (
RDFOpsTest
[
Rdf
]) ⇒
Boolean
,
msg: ⇒
Any
)
:
RDFOpsTest
[
Rdf
]
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
Ensuring
[
RDFOpsTest
[
Rdf
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond: (
RDFOpsTest
[
Rdf
]) ⇒
Boolean
)
:
RDFOpsTest
[
Rdf
]
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
Ensuring
[
RDFOpsTest
[
Rdf
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
,
msg: ⇒
Any
)
:
RDFOpsTest
[
Rdf
]
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
Ensuring
[
RDFOpsTest
[
Rdf
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
)
:
RDFOpsTest
[
Rdf
]
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
Ensuring
[
RDFOpsTest
[
Rdf
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
fail
(
msg:
String
)
:
Nothing
Definition Classes
SpecLite
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
flatMap
(
f: (
Result
) ⇒
Prop
)
:
Prop
Definition Classes
Prop
def
formatted
(
fmtstr:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
StringFormat
[
RDFOpsTest
[
Rdf
]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline
()
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
include
(
ps:
Properties
,
prefix:
String
)
:
Unit
Definition Classes
Properties
def
include
(
ps:
Properties
)
:
Unit
Definition Classes
Properties
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
label
(
l:
String
)
:
Prop
Definition Classes
Prop
def
main
(
args:
Array
[
String
]
)
:
Unit
Definition Classes
Prop
def
mainCallsExit
:
Boolean
Definition Classes
Prop
def
mainRunner
(
args:
Array
[
String
]
)
:
Int
Definition Classes
Properties → Prop
def
map
(
f: (
Result
) ⇒
Result
)
:
Prop
Definition Classes
Prop
val
name
:
String
Definition Classes
SpecLite → Properties
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
prop
[
T
,
R
]
(
result: (
T
) ⇒
R
)
(
implicit
toProp: (⇒
R
) ⇒
Prop
,
a:
Arbitrary
[
T
]
,
s:
Shrink
[
T
]
)
:
Prop
Definition Classes
SpecLite
implicit
def
propToProp
(
p: ⇒
Prop
)
:
Prop
Definition Classes
SpecLite
def
properties
:
Seq
[(
String
,
Prop
)]
Definition Classes
Properties
lazy val
property
:
PropertySpecifier
Definition Classes
Properties
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
Prop → AnyRef → Any
implicit
def
unitToProp
(
u: ⇒
Unit
)
:
Prop
Definition Classes
SpecLite
implicit
def
unitToProp2
(
u:
Unit
)
:
Prop
Definition Classes
SpecLite
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
|:
(
l:
Symbol
)
:
Prop
Definition Classes
Prop
def
|:
(
l:
String
)
:
Prop
Definition Classes
Prop
def
||
(
p: ⇒
Prop
)
:
Prop
Definition Classes
Prop
def
→
[
B
]
(
y:
B
)
: (
RDFOpsTest
[
Rdf
],
B
)
Implicit information
This member is added by an implicit conversion from
RDFOpsTest
[
Rdf
] to
ArrowAssoc
[
RDFOpsTest
[
Rdf
]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Inherited from
SpecLite
Inherited from
Properties
Inherited from
Prop
Inherited from
Testable
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion any2stringadd from
RDFOpsTest
[
Rdf
] to
any2stringadd
[
RDFOpsTest
[
Rdf
]]
Inherited by implicit conversion StringFormat from
RDFOpsTest
[
Rdf
] to
StringFormat
[
RDFOpsTest
[
Rdf
]]
Inherited by implicit conversion Ensuring from
RDFOpsTest
[
Rdf
] to
Ensuring
[
RDFOpsTest
[
Rdf
]]
Inherited by implicit conversion ArrowAssoc from
RDFOpsTest
[
Rdf
] to
ArrowAssoc
[
RDFOpsTest
[
Rdf
]]
Ungrouped