A B C D E F G H I J K L M N O P R S T U V W Z

N

name - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.TransformationList

name - Variable in enum gov.nasa.jpf.symbc.veritesting.StaticRegionException.ExceptionPhase

negateOperator(Operation.Operator) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingMain

new_(String) - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

newarray(int) - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

NewInstruction - Class in gov.nasa.jpf.symbc.veritesting.ast.def

This is NewInstruction in Ranger IR that matches the corresponding CheckCastInstruction in Wala and subsequently in Java Bytecode.

NewInstruction(SSANewInstruction) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.NewInstruction

nextArrayExceptionNumber() - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySSAVisitor

nextFieldExceptionNumber() - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSSAVisitor

nl() - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

noFurtherInlines - Static variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.SubstitutionVisitor

NoSkipVisitor - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen

NoSkipVisitor() - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.NoSkipVisitor

noStackSlotVars - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SSAToStatDefVisitor

noStackSlotVars - Variable in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SymbCondVisitor

noVars(SPFCaseStmt, DynamicRegion) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases.SpfToGreenVisitor

npaths - Static variable in class gov.nasa.jpf.symbc.VeritestingListener

number - Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

This number matches the number defined for a specific Wala Variable.

numMethodSummaries - Static variable in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseExpr

numVar() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseExpr

numVarLeft() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

A B C D E F G H I J K L M N O P R S T U V W Z