[−][src]Module razor_chase::trace
Modules
| subscriber |
Constants
| BOUND | A model bound is reached. The model will be discarded. |
| CHASE_STEP | Inside a chase step |
| DEFAULT_JSON_LOG_FILE | |
| EVALUATE | A sequent was successfully evaluated by the chase step. |
| EVENT_FILED | |
| EXTEND | The model is expanded by the chase step. |
| FAIL | The chase step failed. The model will be discarded. |
| MAPPING_FIELD | |
| MODEL | New model found. |
| MODEL_FIELD | |
| MODEL_ID_FIELD | |
| PARENT_FIELD | |
| SEQUENT_FIELD |