public synchronized void deleteTypeSubstitution(final INaviOperandTreeNode node) throws CouldntDeleteException {
  Preconditions.checkNotNull(node,"IE02787: Operand tree node can not be null.");
  final TypeSubstitution substitution=node.getTypeSubstitution();
  typesContainer.deleteTypeSubstitution(substitution);
  backend.deleteTypeSubstitution(substitution);
  node.setTypeSubstitution(null);
  notifySubstitutionsDeleted(Collections.singleton(substitution));
}

public synchronized void deleteTypeSubstitution ( final INaviOperandTreeNode node ) throws CouldntDeleteException { Preconditions . checkNotNull ( node , "IE02787: Operand tree node can not be null." ) ; final TypeSubstitution substitution = node . getTypeSubstitution ( ) ; typesContainer . deleteTypeSubstitution ( substitution ) ; backend . deleteTypeSubstitution ( substitution ) ; node . setTypeSubstitution ( null ) ; notifySubstitutionsDeleted ( Collections . singleton ( substitution ) ) ; }
removes the type substitution from the given tree node and deletes the corresponding database record .
