Logo Search packages:      
Sourcecode: wims version File versions  Download package

synchronized void org::javia::arity::Symbols::pushFrame (  )  [inline]

Pushes a new top frame.

All modifications (defining new symbols) happen in the top-most frame. When the frame is pop-ed the modifications that happened in it are reverted.

Definition at line 166 of file Symbols.java.

        delta = null;

Generated by  Doxygen 1.6.0   Back to index