| Type Params | Return Type | Name and description | 
|---|---|---|
 | 
                            def | 
                            AssertionWriter(WriterController wc) | 
                        
 | 
                            void | 
                            disableTracker() | 
                        
 | 
                            void | 
                            record(Expression expression) | 
                        
 | 
                            void | 
                            record(Token op) | 
                        
 | 
                            void | 
                            reenableTracker() | 
                        
 | 
                            void | 
                            writeAssertStatement(AssertStatement statement) |