Package h07
Class TemplateTests.MonoidTemplateTest
- java.lang.Object
-
- h07.util.TestClass
-
- h07.TemplateTests.MonoidTemplateTest
-
- Enclosing class:
- TemplateTests
@Nested public class TemplateTests.MonoidTemplateTest extends TestClass
Tests for interfaceMonoid
.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class h07.util.TestClass
TestClass.MissingMemberException
-
-
Constructor Summary
Constructors Constructor Description MonoidTemplateTest()
Creates a newTemplateTests.MonoidTemplateTest
object.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
testDefinition()
Tests the definition ofMonoid
.-
Methods inherited from class h07.util.TestClass
getClassForName, getFieldByCriteria, getFieldByName, getMethodByCriteria, getMethodByName, getMethodSignature, invokeExpectingException, newInstance, newInstanceExpectingException, testInstance
-
-
-
-
Constructor Detail
-
MonoidTemplateTest
public MonoidTemplateTest()
Creates a newTemplateTests.MonoidTemplateTest
object. Requires thatMonoid
exists.
-
-
Method Detail
-
testDefinition
@Test public void testDefinition()
Tests the definition ofMonoid
.- Asserts that the interface...
- is public
- is generic and has a type parameter M
- Asserts that
zero()
is public and abstract and has return type M - Asserts that
add(M, M)
is public and abstract and has return type M
- Specified by:
testDefinition
in classTestClass
- Asserts that the interface...
-
-