randoop.mock.java.lang

Class System

java.lang.Object

randoop.mock.java.lang.System

public class System
extends java.lang.Object

Default replacement for ReplaceCallAgent. Replacement should be specified in "resources/replacements.txt"

Constructor Summary

Constructors

Constructor and Description
System()

Method Summary

Modifier and Type	Method and Description
static void	exit(int status) Default mock for System.exit(status).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

System

public System()

Method Detail

exit

public static void exit(int status)

Default mock for System.exit(status). Throws an exception to allow Randoop to generate tests that acknowledge that exit occurs.

Parameters:

status - the exit status

Throws:

SystemExitCalledError - with the status