checkers.util
Interface CheckerMain.CLibrary

All Superinterfaces:

com.sun.jna.Library

Enclosing class:

CheckerMain

public static interface CheckerMain.CLibrary
extends com.sun.jna.Library

Helper class to invoke the libc system() native call Using the system() native call, rather than Runtime.exec(), to handle IO "redirection"

Nested Class Summary

Modifier and Type	Interface and Description

Nested classes/interfaces inherited from interface com.sun.jna.Library

com.sun.jna.Library.Handler

Field Summary

Modifier and Type	Field and Description
static CheckerMain.CLibrary	INSTANCE

Fields inherited from interface com.sun.jna.Library

OPTION_ALLOW_OBJECTS, OPTION_CALLING_CONVENTION, OPTION_FUNCTION_MAPPER, OPTION_INVOCATION_MAPPER, OPTION_STRUCTURE_ALIGNMENT, OPTION_TYPE_MAPPER

Method Summary

Modifier and Type	Method and Description
int	system(String command)

Field Detail

INSTANCE

static final CheckerMain.CLibrary INSTANCE

Method Detail

system

int system(String command)