Assertion: assertion | /r/HasProperty | statement
Facets:
value: in the java tm programming language
type: LOCATION
value: in mathematical logic
type: OTHER
value: in the metalanguage
type: LOCATION
Source sentences:
text: In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in the metalanguage.
text: An assertion is a statement in the Java TM programming language that enables you to test your assumptions about your program.