public void complete() throws CompletionFailure {
        if (completer != Completer.NULL_COMPLETER) {
            Completer c = completer;
            completer = Completer.NULL_COMPLETER;
            c.complete(this);
        }
    }
public void complete ( ) throws CompletionFailure { if ( completer != Completer . NULL_COMPLETER ) { Completer c = completer ; completer = Completer . NULL_COMPLETER ; c . complete ( this ) ; } }
Complete the elaboration of this symbol's definition.