[impl:model] Add defaultOperation to ASTNodeVisitor

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)

BSD 3-Clause "New" or "Revised" License

5 stars 3 forks source link

Closed bafain closed 12 years ago

bafain commented 12 years ago

defaultOperation is protected so that implementations can replace it with something more appropriate for their use
treat throwUnsupportedOperationException as default operation and actually just rename it to a more generic name