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

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

com.sun.jna.Library.Handler

Field Summary

Fields

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

Methods

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

Field Detail

INSTANCE

static final CheckerMain.CLibrary INSTANCE

Method Detail

system

int system(@ReadOnly String command)