chord.project
Interface ITask

All Known Implementing Classes:

BackwardRHSAnalysis, BasicDynamicAnalysis, CIAliasAnalysis, CICGAnalysis, ConNewInstAnalysis, CSAliasAnalysis, CSCGAnalysis, CtxtsAnalysis, DataraceAnalysis, DeadlockAnalysis, DlogAnalysis, DomA, DomB, DomC, DomE, DomF, DomH, DomI, DomK, DomL, DomM, DomN, DomO, DomP, DomR, DomT, DomV, DomW, DomZ, DynamicAnalysis, DynamicReflectResolver, ForwardRHSAnalysis, JavaAnalysis, ObjNewInstAnalysis, ProgramDom, ProgramRel, RelAryElemE, RelAryNewInstIH, RelCHA, RelCheckExcludedT, RelClassT, RelClinitM, RelClinitTM, RelClsForNameIT, RelClsTH, RelEF, RelEV, RelExtraEntryPoints, RelHT, RelIinvkArg, RelIinvkArg0, RelIinvkRet, RelInitM, RelInstF, RelInstFldE, RelInstI, RelInstM, RelInterfaceT, RelLE, RelLI, RelLL, RelMcheckCastInst, RelMclsValAsgnInst, RelME, RelMgetClassInvkInst, RelMgetInstFldInst, RelMgetStatFldInst, RelMH, RelMI, RelML, RelMmethArg, RelMmethRet, RelMobjValAsgnInst, RelMobjVarAsgnInst, RelMP, RelMPhead, RelMPtail, RelMputInstFldInst, RelMputStatFldInst, RelMV, RelPE, RelPgetInstFldInst, RelPgetStatFldInst, RelPI, RelPL, RelPobjValAsgnInst, RelPobjVarAsgnInst, RelPostDomBB, RelPP, RelPputInstFldInst, RelPputStatFldInst, RelPrivateM, RelScopeExcludedM, RelScopeExcludedT, RelSpecIM, RelStatF, RelStatFldE, RelStatIM, RelStatM, RelStatTF, RelStatTM, RelSub, RelSuccBB, RelSyncLM, RelSyncLV, RelSyncM, RelThisMV, RelTM, RelVirtIM, RelVT, RelWriteE, RHSAnalysis, ThreadsAnalysis, ThrOblAbbrCICGAnalysis, ThrOblAbbrCSCGAnalysis, ThrSenAbbrCICGAnalysis, ThrSenAbbrCSCGAnalysis

public interface ITask

Specification of an analysis.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Method Summary

java.lang.String	getName() Provides the name of this analysis.
void	run() Executes this analysis in a "classic" project.
void	run(java.lang.Object ctrl, IStepCollection sc) Executes this analysis in a "modern" project.
void	setName(java.lang.String name) Sets the name of this analysis.

Method Detail

setName

void setName(java.lang.String name)

Sets the name of this analysis.

Parameters:

name - A name unique across all analyses included in a Chord project.

getName

java.lang.String getName()

Provides the name of this analysis.

Returns:

The name of this analysis.

run

void run()

Executes this analysis in a "classic" project. This method must usually not be called directly. The correct way to call it is to call ClassicProject.runTask(String) or ClassicProject.runTask(ITask), providing this analysis either by its name or its object.

run

void run(java.lang.Object ctrl,
         IStepCollection sc)

Executes this analysis in a "modern" project. This method must usually not be called directly.

Parameters:

ctrl -

sc -