Package h07.algebra

Class IntegerAdditionTest

java.lang.Object

h07.util.TestClass

h07.algebra.IntegerAdditionTest

public class IntegerAdditionTest
extends TestClass

Tests for class IntegerAddition.

Depends on TemplateTests.MonoidTemplateTest.

Nested Class Summary

Nested classes/interfaces inherited from class h07.util.TestClass

TestClass.MissingMemberException

Field Summary

Fields

Modifier and Type	Field	Description
Method	add	Method object for Monoid.add(M, M)
private TemplateTests.MonoidTemplateTest	monoid	Instance of TemplateTests.MonoidTemplateTest
Method	zero	Method object for Monoid.zero()

Fields inherited from class h07.util.TestClass

classDescriptor, className, constructor, fields, methods, RANDOM

Constructor Summary

Constructors

Constructor	Description
IntegerAdditionTest()	Creates a new IntegerAdditionTest object.

Method Summary

Modifier and Type	Method	Description
void	testAdd()	Asserts that IntegerAddition.add(Integer, Integer) returns the sum of the two given integers.
void	testDefinition()	Tests the definition of IntegerAddition.
void	testZero()	Asserts that IntegerAddition.zero() returns 0.

Methods inherited from class h07.util.TestClass

getClassForName, getFieldByCriteria, getFieldByName, getMethodByCriteria, getMethodByName, getMethodSignature, invokeExpectingException, newInstance, newInstanceExpectingException, testInstance

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

zero

public final Method zero

Method object for Monoid.zero()

add

public final Method add

Method object for Monoid.add(M, M)

monoid

private final TemplateTests.MonoidTemplateTest monoid

Instance of TemplateTests.MonoidTemplateTest

Constructor Detail

IntegerAdditionTest

public IntegerAdditionTest()

Creates a new IntegerAdditionTest object. Requires that IntegerAddition exists and has a constructor with no parameters.

Method Detail

testDefinition

@Test
public void testDefinition()

Tests the definition of IntegerAddition.

• Asserts that the class...
  • is public
  • is not abstract
  • implements Monoid
• Asserts that the constructor...
  • is public
  • is the only constructor of this class
• Asserts that the class is stateless (no fields)

Specified by:

testDefinition in class TestClass

testZero

@Test
public void testZero()
              throws ReflectiveOperationException

Asserts that IntegerAddition.zero() returns 0.

Throws:

ReflectiveOperationException - if any invocation fails

testAdd

@Test
public void testAdd()
             throws ReflectiveOperationException

Asserts that IntegerAddition.add(Integer, Integer) returns the sum of the two given integers.

Throws:

ReflectiveOperationException - if any invocation fails