Operation name: 
Responsibilites: 

Inputs:	

Returns: 
Modified objects: 

Preconditions: 
Postconditions: