Package com.ensoftcorp.open.commons.highlighter

Class CFGHighlighter

java.lang.Object

com.ensoftcorp.open.commons.highlighter.CFGHighlighter

public class CFGHighlighter
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static java.awt.Color	cfgBackEdge
static java.awt.Color	cfgDefault
static java.awt.Color	cfgExceptional
static java.awt.Color	cfgFalse
static java.awt.Color	cfgTrue

Constructor Summary

Constructors

Constructor	Description
CFGHighlighter()

Method Summary

Modifier and Type	Method	Description
static void	addPrefixLineNumbers(com.ensoftcorp.atlas.core.query.Q q, com.ensoftcorp.atlas.core.markup.Markup m)	Adds line numbers as a prefix to nodes
static void	applyHighlightsForCFG(com.ensoftcorp.atlas.core.markup.Markup m)	GRAY = Unconditional ControlFlow Edge WHITE = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge GREEN = Exceptional ControlFlow Edge
static void	applyHighlightsForICFG(com.ensoftcorp.atlas.core.markup.Markup m)	GRAY = Unconditional ControlFlow Edge WHITE = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge GREEN = Exceptional ControlFlow Edge
static void	applyPrintableHighlightsForCFG(com.ensoftcorp.atlas.core.markup.Markup m)	GRAY = Unconditional ControlFlow Edge BLACK (dashed) = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge BLUE = Exceptional ControlFlow Edge

Methods inherited from class java.lang.Object

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

Field Detail

cfgDefault

public static final java.awt.Color cfgDefault

cfgBackEdge

public static final java.awt.Color cfgBackEdge

cfgTrue

public static final java.awt.Color cfgTrue

cfgFalse

public static final java.awt.Color cfgFalse

cfgExceptional

public static final java.awt.Color cfgExceptional

Constructor Detail

CFGHighlighter

public CFGHighlighter()

Method Detail

addPrefixLineNumbers

public static void addPrefixLineNumbers(com.ensoftcorp.atlas.core.query.Q q,
                                        com.ensoftcorp.atlas.core.markup.Markup m)

Adds line numbers as a prefix to nodes

Parameters:

q -

m -

applyPrintableHighlightsForCFG

public static void applyPrintableHighlightsForCFG(com.ensoftcorp.atlas.core.markup.Markup m)

GRAY = Unconditional ControlFlow Edge BLACK (dashed) = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge BLUE = Exceptional ControlFlow Edge

Parameters:

m -

applyHighlightsForICFG

public static void applyHighlightsForICFG(com.ensoftcorp.atlas.core.markup.Markup m)

GRAY = Unconditional ControlFlow Edge WHITE = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge GREEN = Exceptional ControlFlow Edge

Parameters:

m -

applyHighlightsForCFG

public static void applyHighlightsForCFG(com.ensoftcorp.atlas.core.markup.Markup m)

GRAY = Unconditional ControlFlow Edge WHITE = Conditional True ControlFlow Edge BLACK = Conditional False ControlFlow Edge GREEN = Exceptional ControlFlow Edge

Parameters:

m -