Implements Recordmanager.
Constructor
new PlatformStringRecordmanager(errorhandler, recordhandler)
Parameters
| Name | Type | Description |
|---|---|---|
| errorhandler | Errorhandler | |
| recordhandler | Recordhandler |
Method Index
| Name | Description |
|---|---|
| is_pausing_records | |
| pause_records | |
| push_text | |
| resume_records | |
| set_input | Sets character data to emit. |
| start_records |
Member Details
- is_pausing_records()
-
- See: Recordmanager#is_pausing_records
- pause_records()
-
- See: Recordmanager#pause_records
- push_text()
-
- See: Recordmanager#push_text
- resume_records()
-
- See: Recordmanager#resume_records
- set_input(str)
-
Sets character data to emit.
Parameters
Name Type Description str string
- start_records()
-
- See: Recordmanager#start_records