Package org.jetbrains.java.decompiler.modules.decompiler

Class ValidationHelper

java.lang.Object

org.jetbrains.java.decompiler.modules.decompiler.ValidationHelper

public final class ValidationHelper
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ValidationHelper()

Method Summary

Modifier and Type	Method	Description
static void	assertTrue(boolean condition, java.lang.String message)
static void	notNull(java.lang.Object o)
static void	oneSuccessor(Statement stat)
static void	successorsExist(Statement stat)
static void	validateAllVarVersionsAreNull(DirectGraph dgraph, RootStatement root)
static void	validateDGraph(DirectGraph graph, RootStatement root)
static void	validateEdge(StatEdge edge)
static void	validateExitExprent(ExitExprent exit)
static void	validateExprent(Exprent exprent)
static void	validateIfStatement(IfStatement ifStat)
static void	validateSingleStatement(Statement stat)
static void	validateStatement(RootStatement statement)
static void	validateTrycatchStatement(CatchStatement catchStat)
static void	validateVarVersionsGraph(VarVersionsGraph graph, RootStatement statement, java.util.HashMap<VarVersionPair,VarVersionPair> varAssignmentMap)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidationHelper

public ValidationHelper()

Method Detail

validateStatement

public static void validateStatement(RootStatement statement)

validateEdge

public static void validateEdge(StatEdge edge)

validateSingleStatement

public static void validateSingleStatement(Statement stat)

validateTrycatchStatement

public static void validateTrycatchStatement(CatchStatement catchStat)

validateIfStatement

public static void validateIfStatement(IfStatement ifStat)

validateDGraph

public static void validateDGraph(DirectGraph graph,
                                  RootStatement root)

validateAllVarVersionsAreNull

public static void validateAllVarVersionsAreNull(DirectGraph dgraph,
                                                 RootStatement root)

notNull

public static void notNull(java.lang.Object o)

validateExitExprent

public static void validateExitExprent(ExitExprent exit)

validateExprent

public static void validateExprent(Exprent exprent)

successorsExist

public static void successorsExist(Statement stat)

oneSuccessor

public static void oneSuccessor(Statement stat)

assertTrue

public static void assertTrue(boolean condition,
                              java.lang.String message)

validateVarVersionsGraph

public static void validateVarVersionsGraph(VarVersionsGraph graph,
                                            RootStatement statement,
                                            java.util.HashMap<VarVersionPair,VarVersionPair> varAssignmentMap)