Package com.seedfinding.latticg.reversal

Class Program

java.lang.Object

com.seedfinding.latticg.reversal.Program

@Experimental
public class Program
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Program(LCG lcg, java.util.List<CallType<?>> calls, java.util.List<java.lang.Long> skips, java.util.List<FilteredSkip> filteredSkips)

Method Summary

Modifier and Type	Method	Description
static ProgramBuilder	builder(LCG lcg)
java.util.List<CallType<?>>	getCalls()
java.util.List<FilteredSkip>	getFilteredSkips()
LCG	getLcg()
java.util.List<java.lang.Long>	getSkips()
boolean	isVerbose()
void	setVerbose(boolean verbose)
ProgramInstance	start()

Methods inherited from class java.lang.Object

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

Constructor Detail

Program

protected Program(LCG lcg,
                  java.util.List<CallType<?>> calls,
                  java.util.List<java.lang.Long> skips,
                  java.util.List<FilteredSkip> filteredSkips)

Method Detail

builder

public static ProgramBuilder builder(LCG lcg)

start

public ProgramInstance start()

getLcg

public LCG getLcg()

getCalls

@Internal
public java.util.List<CallType<?>> getCalls()

getSkips

@Internal
public java.util.List<java.lang.Long> getSkips()

getFilteredSkips

@Internal
public java.util.List<FilteredSkip> getFilteredSkips()

isVerbose

@Internal
public boolean isVerbose()

setVerbose

public void setVerbose(boolean verbose)