Method Signatures and Pre- and Postconditions Flashcards Preview

TM354 Last Minute Revision > Method Signatures and Pre- and Postconditions > Flashcards

Flashcards in Method Signatures and Pre- and Postconditions Deck (2):
1

Write a method signature

context Class :: aMethod(ParameterClass, ParameterClass2)

2

Write pre- and postconditions for a method

Preconditions:

-- An object exists

-- Value is greater than other value

 

Postconditions:

-- A new object will be created

-- The new object will be linked to another object

-- The new object will be linked to yet another object