gov.nasa.jpf.listener

Interface PathOutputMonitor.PathOutputSpec

Enclosing class:

PathOutputMonitor

public static interface PathOutputMonitor.PathOutputSpec

Method Summary

Modifier and Type	Method and Description
boolean	add(java.lang.String spec)
boolean	isEmpty()
boolean	matches(java.lang.String[] output)
void	printOn(java.io.PrintWriter pw)

Method Detail

add

boolean add(java.lang.String spec)

matches

boolean matches(java.lang.String[] output)

printOn

void printOn(java.io.PrintWriter pw)

isEmpty

boolean isEmpty()