version 1.3, 2006/03/07 11:15:23 |
version 1.6, 2016/09/30 01:13:38 |
|
|
int asir_contrib; |
int asir_contrib; |
// pretty printing |
// pretty printing |
int prettyPrint; |
int prettyPrint; |
|
// cf. NoEngine |
|
int restartMode; |
////////// |
////////// |
NSTask *task; |
NSTask *task; |
NSPipe *inboundPipe; |
NSPipe *inboundPipe; |
|
|
-(void)outputStringInNotebookMode: (NSString *)msg; |
-(void)outputStringInNotebookMode: (NSString *)msg; |
-(void)outputErrorStringInNotebookMode: (NSString *)msg; |
-(void)outputErrorStringInNotebookMode: (NSString *)msg; |
-(void)outputStringInNotebookMode: (NSString *)msg withColor: (NSColor *)color; |
-(void)outputStringInNotebookMode: (NSString *)msg withColor: (NSColor *)color; |
|
-(void)outputBorderLine: (NSColor *)color; |
|
|
- (void)messageDialog:(NSString *)msg with:(int) no; |
- (void)messageDialog:(NSString *)msg with:(int) no; |
-(void) printDocument: (id) sender; |
-(void) printDocument: (id) sender; |
|
|
|
|
-(void) readInboundData: (NSNotification *) sender; |
-(void) readInboundData: (NSNotification *) sender; |
-(void) readErrData: (NSNotification *) sender; |
-(void) readErrData: (NSNotification *) sender; |
|
|
|
-(NSData *) getPeerEndEvaluateMark; |
|
|
-(int) selectIllegalCharacter ; |
-(int) selectIllegalCharacter ; |
-(NSRange) selectBlockForwardFrom: (int) offset with: (int) first and: (int) last ; |
-(NSRange) selectBlockForwardFrom: (int) offset with: (int) first and: (int) last ; |