randoop.mock.java.awt

Class GraphicsEnvironment

java.lang.Object

randoop.mock.java.awt.GraphicsEnvironment

public class GraphicsEnvironment
extends java.lang.Object

Class of mock methods for java.awt.GraphicsEnvironment.

The original is an abstract class that provides methods that manage the graphical display for AWT. The relevant behavior of the class for Randoop is indicating whether the environment is headless. Certain interface objects may not be created in a headless environment. Since other mocks prevent the display of these objects, these methods pretend that all environments are not headless.

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

Constructor Summary

Constructors

Constructor and Description
GraphicsEnvironment() Creates a (mock) GraphicsEnvironment.

Method Summary

Modifier and Type	Method and Description
static void	checkHeadless()
static boolean	isHeadless()
static boolean	isHeadlessInstance(java.awt.GraphicsEnvironment graphicsEnvironment)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicsEnvironment

public GraphicsEnvironment()

Creates a (mock) GraphicsEnvironment.

Method Detail

isHeadless

public static boolean isHeadless()

isHeadlessInstance

public static boolean isHeadlessInstance(java.awt.GraphicsEnvironment graphicsEnvironment)

checkHeadless

public static void checkHeadless()