Download edu.cmu.cs.crystal_3.4.1.jar
edu/edu.cmu.cs.crystal_3.4.1.jar.zip( 929 k)
The download jar file contains the following class files or Java source files.
COPYING
COPYING.LESSER
META-INF/MANIFEST.MF
dotFiles/cfg/saved/AbsDecl_abstractMethod.dot
dotFiles/cfg/saved/Conditional_returning.dot
dotFiles/cfg/saved/Conditional_simple.dot
dotFiles/cfg/saved/ConstructorEmpty_ConstructorEmpty.dot
dotFiles/cfg/saved/ConstructorSelf1_ConstructorSelf1.dot
dotFiles/cfg/saved/ConstructorSelf2_ConstructorSelf2.dot
dotFiles/cfg/saved/ConstructorSub1_ConstructorSub1.dot
dotFiles/cfg/saved/ConstructorSub2_ConstructorSub2.dot
dotFiles/cfg/saved/Do_breaking.dot
dotFiles/cfg/saved/Do_continuing.dot
dotFiles/cfg/saved/Do_returning.dot
dotFiles/cfg/saved/Do_simple.dot
dotFiles/cfg/saved/For_blank.dot
dotFiles/cfg/saved/For_breaking.dot
dotFiles/cfg/saved/For_continuing.dot
dotFiles/cfg/saved/For_emptyCond.dot
dotFiles/cfg/saved/For_emptyInits.dot
dotFiles/cfg/saved/For_emptyUpdates.dot
dotFiles/cfg/saved/For_infinite.dot
dotFiles/cfg/saved/For_simple.dot
dotFiles/cfg/saved/If_emptyElse.dot
dotFiles/cfg/saved/If_returning.dot
dotFiles/cfg/saved/If_returningEmptyElse.dot
dotFiles/cfg/saved/If_simple.dot
dotFiles/cfg/saved/Infix_multiple.dot
dotFiles/cfg/saved/Infix_ordering.dot
dotFiles/cfg/saved/Infix_shortcircuit.dot
dotFiles/cfg/saved/Infix_simple.dot
dotFiles/cfg/saved/Label_blockbreak.dot
dotFiles/cfg/saved/Label_blockbreak2.dot
dotFiles/cfg/saved/Label_blockbreak3.dot
dotFiles/cfg/saved/Label_blockbreak4.dot
dotFiles/cfg/saved/Label_blockbreak5.dot
dotFiles/cfg/saved/Label_blockbreak6.dot
dotFiles/cfg/saved/Label_labelInLoop.dot
dotFiles/cfg/saved/Label_loopBreak.dot
dotFiles/cfg/saved/Label_loopBreak2.dot
dotFiles/cfg/saved/Label_loopContinue1.dot
dotFiles/cfg/saved/Label_loopContinue2.dot
dotFiles/cfg/saved/Label_nested.dot
dotFiles/cfg/saved/Label_nestedLoopBreak.dot
dotFiles/cfg/saved/Label_nestedLoopBreak2.dot
dotFiles/cfg/saved/Label_nestedLoopContinue.dot
dotFiles/cfg/saved/Label_nestedLoopContinue2.dot
dotFiles/cfg/saved/Label_nestedSwitch1.dot
dotFiles/cfg/saved/Label_nestedSwitch2.dot
dotFiles/cfg/saved/Label_nestedSwitch3.dot
dotFiles/cfg/saved/Label_simple.dot
dotFiles/cfg/saved/MethodDecl_completelyEmpty.dot
dotFiles/cfg/saved/MethodDecl_hasBody.dot
dotFiles/cfg/saved/MethodDecl_throwsExceptions.dot
dotFiles/cfg/saved/MethodDecl_throwsExceptionsNoParams.dot
dotFiles/cfg/saved/MethodDecl_vars.dot
dotFiles/cfg/saved/MethodDecl_withParams.dot
dotFiles/cfg/saved/Switch_empty.dot
dotFiles/cfg/saved/Switch_multiCase.dot
dotFiles/cfg/saved/Switch_noDefault.dot
dotFiles/cfg/saved/Switch_onlyDefault.dot
dotFiles/cfg/saved/Switch_runThrough.dot
dotFiles/cfg/saved/Switch_simple.dot
dotFiles/cfg/saved/Try_catchThrowsWithFinally.dot
dotFiles/cfg/saved/Try_catchUsingException.dot
dotFiles/cfg/saved/Try_finallyHasTry.dot
dotFiles/cfg/saved/Try_nestTryFinally.dot
dotFiles/cfg/saved/Try_runtimeExp.dot
dotFiles/cfg/saved/Try_simple.dot
dotFiles/cfg/saved/Try_simpleFinally.dot
dotFiles/cfg/saved/Try_simpleFinallyReturning.dot
dotFiles/cfg/saved/Try_simpleReturning.dot
dotFiles/cfg/saved/TypeDecl_anonType.dot
dotFiles/cfg/saved/TypeDecl_localType.dot
dotFiles/cfg/saved/While_breaking.dot
dotFiles/cfg/saved/While_continuing.dot
dotFiles/cfg/saved/While_returning.dot
dotFiles/cfg/saved/While_simple.dot
edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis.class
edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis.class
edu.cmu.cs.crystal.IAnalysisInput.class
edu.cmu.cs.crystal.IAnalysisReporter.class
edu.cmu.cs.crystal.ICrystalAnalysis.class
edu.cmu.cs.crystal.IRunCrystalCommand.class
edu.cmu.cs.crystal.analysis.alias.AliasLE.class
edu.cmu.cs.crystal.analysis.alias.Aliasing.class
edu.cmu.cs.crystal.analysis.alias.DefaultObjectLabel.class
edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis.class
edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction.class
edu.cmu.cs.crystal.analysis.alias.ObjectLabel.class
edu.cmu.cs.crystal.analysis.alias.SingleObjectAliasOps.class
edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE.class
edu.cmu.cs.crystal.analysis.constant.BooleanConstantLatticeOps.class
edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis.class
edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction.class
edu.cmu.cs.crystal.analysis.live.LiveVariableAnalysis.class
edu.cmu.cs.crystal.analysis.live.LiveVariableLE.class
edu.cmu.cs.crystal.analysis.live.LiveVariableLatticeOps.class
edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction.class
edu.cmu.cs.crystal.analysis.metrics.LoopCounter.class
edu.cmu.cs.crystal.annotations.AnnotationDatabase.class
edu.cmu.cs.crystal.annotations.AnnotationFinder.class
edu.cmu.cs.crystal.annotations.AnnotationSummary.class
edu.cmu.cs.crystal.annotations.CrystalAnnotation.class
edu.cmu.cs.crystal.annotations.ICrystalAnnotation.class
edu.cmu.cs.crystal.annotations.package-info.class
edu.cmu.cs.crystal.bridge.LatticeElement.class
edu.cmu.cs.crystal.bridge.LatticeElementOps.class
edu.cmu.cs.crystal.bridge.package-info.class
edu.cmu.cs.crystal.cfg.BlockStack.class
edu.cmu.cs.crystal.cfg.ExceptionMap.class
edu.cmu.cs.crystal.cfg.ICFGEdge.class
edu.cmu.cs.crystal.cfg.ICFGNode.class
edu.cmu.cs.crystal.cfg.IControlFlowGraph.class
edu.cmu.cs.crystal.cfg.eclipse.CFGTestUtils.class
edu.cmu.cs.crystal.cfg.eclipse.Conditional.class
edu.cmu.cs.crystal.cfg.eclipse.ConstructorDecl.class
edu.cmu.cs.crystal.cfg.eclipse.Do.class
edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG.class
edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge.class
edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode.class
edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG.class
edu.cmu.cs.crystal.cfg.eclipse.For.class
edu.cmu.cs.crystal.cfg.eclipse.If.class
edu.cmu.cs.crystal.cfg.eclipse.Infix.class
edu.cmu.cs.crystal.cfg.eclipse.Label.class
edu.cmu.cs.crystal.cfg.eclipse.MethodDecl.class
edu.cmu.cs.crystal.cfg.eclipse.Switch.class
edu.cmu.cs.crystal.cfg.eclipse.Try.class
edu.cmu.cs.crystal.cfg.eclipse.TypeDecl.class
edu.cmu.cs.crystal.cfg.eclipse.While.class
edu.cmu.cs.crystal.cfg.eclipse.package-info.class
edu.cmu.cs.crystal.cfg.package-info.class
edu.cmu.cs.crystal.flow.AnalysisDirection.class
edu.cmu.cs.crystal.flow.BooleanLabel.class
edu.cmu.cs.crystal.flow.ExceptionalLabel.class
edu.cmu.cs.crystal.flow.FlowAnalysis.class
edu.cmu.cs.crystal.flow.IAbstractLatticeOperations.class
edu.cmu.cs.crystal.flow.IBranchSensitiveTransferFunction.class
edu.cmu.cs.crystal.flow.IFlowAnalysis.class
edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition.class
edu.cmu.cs.crystal.flow.ILabel.class
edu.cmu.cs.crystal.flow.ILatticeOperations.class
edu.cmu.cs.crystal.flow.IResult.class
edu.cmu.cs.crystal.flow.ITransferFunction.class
edu.cmu.cs.crystal.flow.IteratorLabel.class
edu.cmu.cs.crystal.flow.LabeledResult.class
edu.cmu.cs.crystal.flow.LabeledSingleResult.class
edu.cmu.cs.crystal.flow.MotherFlowAnalysis.class
edu.cmu.cs.crystal.flow.NormalLabel.class
edu.cmu.cs.crystal.flow.SingleResult.class
edu.cmu.cs.crystal.flow.SingletonLatticeElement.class
edu.cmu.cs.crystal.flow.SwitchLabel.class
edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis.class
edu.cmu.cs.crystal.flow.concur.package-info.class
edu.cmu.cs.crystal.flow.package-info.class
edu.cmu.cs.crystal.flow.worklist.AbstractWorklist.class
edu.cmu.cs.crystal.flow.worklist.AnalysisResult.class
edu.cmu.cs.crystal.flow.worklist.BranchInsensitiveWorklist.class
edu.cmu.cs.crystal.flow.worklist.BranchSensitiveWorklist.class
edu.cmu.cs.crystal.flow.worklist.WorklistFactory.class
edu.cmu.cs.crystal.flow.worklist.WorklistNodeOrderComparator.class
edu.cmu.cs.crystal.flow.worklist.WorklistTemplate.class
edu.cmu.cs.crystal.flow.worklist.package-info.class
edu.cmu.cs.crystal.internal.AbstractCrystalPlugin.class
edu.cmu.cs.crystal.internal.AnalysisMenuPopulator.class
edu.cmu.cs.crystal.internal.BindingsCollectorVisitor.class
edu.cmu.cs.crystal.internal.ClearWarningHandler.class
edu.cmu.cs.crystal.internal.ControlFlowGraph.class
edu.cmu.cs.crystal.internal.ControlFlowNode.class
edu.cmu.cs.crystal.internal.ControlFlowVisitor.class
edu.cmu.cs.crystal.internal.Crystal.class
edu.cmu.cs.crystal.internal.CrystalFileAction.class
edu.cmu.cs.crystal.internal.CrystalPlugin.class
edu.cmu.cs.crystal.internal.CrystalPreferences.class
edu.cmu.cs.crystal.internal.CrystalRuntimeException.class
edu.cmu.cs.crystal.internal.CrystalUIAction.class
edu.cmu.cs.crystal.internal.DisplayCrystalInfo.class
edu.cmu.cs.crystal.internal.EnableAnalysisHandler.class
edu.cmu.cs.crystal.internal.ICrystalJob.class
edu.cmu.cs.crystal.internal.ISingleCrystalJob.class
edu.cmu.cs.crystal.internal.NullPrintWriter.class
edu.cmu.cs.crystal.internal.RunCrystalHandler.class
edu.cmu.cs.crystal.internal.ShortFormatter.class
edu.cmu.cs.crystal.internal.StandardAnalysisReporter.class
edu.cmu.cs.crystal.internal.StudentRuntimeException.class
edu.cmu.cs.crystal.internal.UserConsoleView.class
edu.cmu.cs.crystal.internal.WorkspaceUtilities.class
edu.cmu.cs.crystal.internal.package-info.class
edu.cmu.cs.crystal.package-info.class
edu.cmu.cs.crystal.simple.AbstractingTransferFunction.class
edu.cmu.cs.crystal.simple.SimpleLatticeOperations.class
edu.cmu.cs.crystal.simple.SimpleTACFlowAnalysis.class
edu.cmu.cs.crystal.simple.TupleLatticeElement.class
edu.cmu.cs.crystal.simple.TupleLatticeOperations.class
edu.cmu.cs.crystal.simple.package-info.class
edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction.class
edu.cmu.cs.crystal.tac.ITACAnalysisContext.class
edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction.class
edu.cmu.cs.crystal.tac.ITACFlowAnalysis.class
edu.cmu.cs.crystal.tac.ITACTransferFunction.class
edu.cmu.cs.crystal.tac.PrintInstructionAnalysis.class
edu.cmu.cs.crystal.tac.SimpleInstructionVisitor.class
edu.cmu.cs.crystal.tac.TACFlowAnalysis.class
edu.cmu.cs.crystal.tac.eclipse.AbstractAssignmentInstruction.class
edu.cmu.cs.crystal.tac.eclipse.AbstractBinaryOperation.class
edu.cmu.cs.crystal.tac.eclipse.AbstractConstructorCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.AbstractMethodCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.AbstractStoreInstruction.class
edu.cmu.cs.crystal.tac.eclipse.AbstractTACInstruction.class
edu.cmu.cs.crystal.tac.eclipse.ArrayInitInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.CastInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.CompilationUnitTACs.class
edu.cmu.cs.crystal.tac.eclipse.CopyInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.DotClassInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.EclipseAbstractFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryAssignOperation.class
edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryDesugaredOperation.class
edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryInfixOperation.class
edu.cmu.cs.crystal.tac.eclipse.EclipseBrokenFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.EclipseFieldDeclaration.class
edu.cmu.cs.crystal.tac.eclipse.EclipseImplicitFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence.class
edu.cmu.cs.crystal.tac.eclipse.EclipseLoadDesugaredLiteralInstruction.class
edu.cmu.cs.crystal.tac.eclipse.EclipseMergeHelper.class
edu.cmu.cs.crystal.tac.eclipse.EclipseNormalCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.EclipseReferenceFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.EclipseSuperCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.EclipseSuperConstructorCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.EclipseSuperFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTAC.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACArrayTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldInitTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACNewObjectTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTestDriver.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACTargetSelectionTest.class
edu.cmu.cs.crystal.tac.eclipse.EclipseTACTestRunAnalysis.class
edu.cmu.cs.crystal.tac.eclipse.EclipseThisConstructorCallInstruction.class
edu.cmu.cs.crystal.tac.eclipse.EnhancedForConditionInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.IEclipseFieldAccess.class
edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery.class
edu.cmu.cs.crystal.tac.eclipse.InstanceofInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.LoadArrayInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.LoadFieldInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.LoadLiteralInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.NewArrayInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.NewObjectInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.ResultfulInstruction.class
edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.SourceVariableDeclarationImpl.class
edu.cmu.cs.crystal.tac.eclipse.SourceVariableReadImpl.class
edu.cmu.cs.crystal.tac.eclipse.StoreArrayInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.StoreFieldInstructionImpl.class
edu.cmu.cs.crystal.tac.eclipse.UnaryOperationImpl.class
edu.cmu.cs.crystal.tac.eclipse.package-info.class
edu.cmu.cs.crystal.tac.model.ArrayInitInstruction.class
edu.cmu.cs.crystal.tac.model.AssignmentInstruction.class
edu.cmu.cs.crystal.tac.model.BinaryOperation.class
edu.cmu.cs.crystal.tac.model.BinaryOperator.class
edu.cmu.cs.crystal.tac.model.CastInstruction.class
edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction.class
edu.cmu.cs.crystal.tac.model.CopyInstruction.class
edu.cmu.cs.crystal.tac.model.DotClassInstruction.class
edu.cmu.cs.crystal.tac.model.EnhancedForConditionInstruction.class
edu.cmu.cs.crystal.tac.model.IVariableVisitor.class
edu.cmu.cs.crystal.tac.model.InstanceofInstruction.class
edu.cmu.cs.crystal.tac.model.InvocationInstruction.class
edu.cmu.cs.crystal.tac.model.KeywordVariable.class
edu.cmu.cs.crystal.tac.model.LoadArrayInstruction.class
edu.cmu.cs.crystal.tac.model.LoadFieldInstruction.class
edu.cmu.cs.crystal.tac.model.LoadInstruction.class
edu.cmu.cs.crystal.tac.model.LoadLiteralInstruction.class
edu.cmu.cs.crystal.tac.model.MethodCallInstruction.class
edu.cmu.cs.crystal.tac.model.NewArrayInstruction.class
edu.cmu.cs.crystal.tac.model.NewObjectInstruction.class
edu.cmu.cs.crystal.tac.model.OneOperandInstruction.class
edu.cmu.cs.crystal.tac.model.ReturnInstruction.class
edu.cmu.cs.crystal.tac.model.SourceVariable.class
edu.cmu.cs.crystal.tac.model.SourceVariableDeclaration.class
edu.cmu.cs.crystal.tac.model.SourceVariableReadInstruction.class
edu.cmu.cs.crystal.tac.model.StoreArrayInstruction.class
edu.cmu.cs.crystal.tac.model.StoreFieldInstruction.class
edu.cmu.cs.crystal.tac.model.StoreInstruction.class
edu.cmu.cs.crystal.tac.model.SuperVariable.class
edu.cmu.cs.crystal.tac.model.TACArrayAccess.class
edu.cmu.cs.crystal.tac.model.TACFieldAccess.class
edu.cmu.cs.crystal.tac.model.TACInstruction.class
edu.cmu.cs.crystal.tac.model.TACInvocation.class
edu.cmu.cs.crystal.tac.model.TempVariable.class
edu.cmu.cs.crystal.tac.model.ThisVariable.class
edu.cmu.cs.crystal.tac.model.TypeVariable.class
edu.cmu.cs.crystal.tac.model.UnaryOperation.class
edu.cmu.cs.crystal.tac.model.UnaryOperator.class
edu.cmu.cs.crystal.tac.model.Variable.class
edu.cmu.cs.crystal.tac.model.package-info.class
edu.cmu.cs.crystal.tac.package-info.class
edu.cmu.cs.crystal.test.AnnotatedTest.class
edu.cmu.cs.crystal.test.CFGTestAnalysis.class
edu.cmu.cs.crystal.test.ConsListTest.class
edu.cmu.cs.crystal.test.EclipseCFGTestAnalysis.class
edu.cmu.cs.crystal.test.EclipseNodeFirstCFGTestAnalysis.class
edu.cmu.cs.crystal.test.SystemTestUtils.class
edu.cmu.cs.crystal.test.TestUtilities.class
edu.cmu.cs.crystal.test.package-info.class
edu.cmu.cs.crystal.util.Box.class
edu.cmu.cs.crystal.util.CollectionMethods.class
edu.cmu.cs.crystal.util.ConsList.class
edu.cmu.cs.crystal.util.Copyable.class
edu.cmu.cs.crystal.util.Empty.class
edu.cmu.cs.crystal.util.ExtendedIterator.class
edu.cmu.cs.crystal.util.Freezable.class
edu.cmu.cs.crystal.util.Lambda.class
edu.cmu.cs.crystal.util.Lambda2.class
edu.cmu.cs.crystal.util.Lambda3.class
edu.cmu.cs.crystal.util.Nonempty.class
edu.cmu.cs.crystal.util.Option.class
edu.cmu.cs.crystal.util.Pair.class
edu.cmu.cs.crystal.util.SimpleMap.class
edu.cmu.cs.crystal.util.Triple.class
edu.cmu.cs.crystal.util.Utilities.class
edu.cmu.cs.crystal.util.VOID.class
edu.cmu.cs.crystal.util.package-info.class
grappa1_2.jar
icons/sample.gif
plugin.xml
schema/CrystalAnalysis.exsd
schema/CrystalAnnotation.exsd
src.edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis.java
src.edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis.java
src.edu.cmu.cs.crystal.IAnalysisInput.java
src.edu.cmu.cs.crystal.IAnalysisReporter.java
src.edu.cmu.cs.crystal.ICrystalAnalysis.java
src.edu.cmu.cs.crystal.IRunCrystalCommand.java
src.edu.cmu.cs.crystal.analysis.alias.AliasLE.java
src.edu.cmu.cs.crystal.analysis.alias.Aliasing.java
src.edu.cmu.cs.crystal.analysis.alias.DefaultObjectLabel.java
src.edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis.java
src.edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction.java
src.edu.cmu.cs.crystal.analysis.alias.ObjectLabel.java
src.edu.cmu.cs.crystal.analysis.alias.SingleObjectAliasOps.java
src.edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE.java
src.edu.cmu.cs.crystal.analysis.constant.BooleanConstantLatticeOps.java
src.edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis.java
src.edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction.java
src.edu.cmu.cs.crystal.analysis.live.LiveVariableAnalysis.java
src.edu.cmu.cs.crystal.analysis.live.LiveVariableLE.java
src.edu.cmu.cs.crystal.analysis.live.LiveVariableLatticeOps.java
src.edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction.java
src.edu.cmu.cs.crystal.analysis.metrics.LoopCounter.java
src.edu.cmu.cs.crystal.annotations.AnnotationDatabase.java
src.edu.cmu.cs.crystal.annotations.AnnotationFinder.java
src.edu.cmu.cs.crystal.annotations.AnnotationSummary.java
src.edu.cmu.cs.crystal.annotations.CrystalAnnotation.java
src.edu.cmu.cs.crystal.annotations.ICrystalAnnotation.java
src.edu.cmu.cs.crystal.annotations.package-info.java
src.edu.cmu.cs.crystal.bridge.LatticeElement.java
src.edu.cmu.cs.crystal.bridge.LatticeElementOps.java
src.edu.cmu.cs.crystal.bridge.package-info.java
src.edu.cmu.cs.crystal.cfg.BlockStack.java
src.edu.cmu.cs.crystal.cfg.ExceptionMap.java
src.edu.cmu.cs.crystal.cfg.ICFGEdge.java
src.edu.cmu.cs.crystal.cfg.ICFGNode.java
src.edu.cmu.cs.crystal.cfg.IControlFlowGraph.java
src.edu.cmu.cs.crystal.cfg.eclipse.CFGTestUtils.java
src.edu.cmu.cs.crystal.cfg.eclipse.Conditional.java
src.edu.cmu.cs.crystal.cfg.eclipse.ConstructorDecl.java
src.edu.cmu.cs.crystal.cfg.eclipse.Do.java
src.edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG.java
src.edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge.java
src.edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode.java
src.edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG.java
src.edu.cmu.cs.crystal.cfg.eclipse.For.java
src.edu.cmu.cs.crystal.cfg.eclipse.If.java
src.edu.cmu.cs.crystal.cfg.eclipse.Infix.java
src.edu.cmu.cs.crystal.cfg.eclipse.Label.java
src.edu.cmu.cs.crystal.cfg.eclipse.MethodDecl.java
src.edu.cmu.cs.crystal.cfg.eclipse.Switch.java
src.edu.cmu.cs.crystal.cfg.eclipse.Try.java
src.edu.cmu.cs.crystal.cfg.eclipse.TypeDecl.java
src.edu.cmu.cs.crystal.cfg.eclipse.While.java
src.edu.cmu.cs.crystal.cfg.eclipse.package-info.java
src.edu.cmu.cs.crystal.cfg.package-info.java
src.edu.cmu.cs.crystal.flow.AnalysisDirection.java
src.edu.cmu.cs.crystal.flow.BooleanLabel.java
src.edu.cmu.cs.crystal.flow.ExceptionalLabel.java
src.edu.cmu.cs.crystal.flow.FlowAnalysis.java
src.edu.cmu.cs.crystal.flow.IAbstractLatticeOperations.java
src.edu.cmu.cs.crystal.flow.IBranchSensitiveTransferFunction.java
src.edu.cmu.cs.crystal.flow.IFlowAnalysis.java
src.edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition.java
src.edu.cmu.cs.crystal.flow.ILabel.java
src.edu.cmu.cs.crystal.flow.ILatticeOperations.java
src.edu.cmu.cs.crystal.flow.IResult.java
src.edu.cmu.cs.crystal.flow.ITransferFunction.java
src.edu.cmu.cs.crystal.flow.IteratorLabel.java
src.edu.cmu.cs.crystal.flow.LabeledResult.java
src.edu.cmu.cs.crystal.flow.LabeledSingleResult.java
src.edu.cmu.cs.crystal.flow.MotherFlowAnalysis.java
src.edu.cmu.cs.crystal.flow.NormalLabel.java
src.edu.cmu.cs.crystal.flow.SingleResult.java
src.edu.cmu.cs.crystal.flow.SingletonLatticeElement.java
src.edu.cmu.cs.crystal.flow.SwitchLabel.java
src.edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis.java
src.edu.cmu.cs.crystal.flow.concur.package-info.java
src.edu.cmu.cs.crystal.flow.package-info.java
src.edu.cmu.cs.crystal.flow.worklist.AbstractWorklist.java
src.edu.cmu.cs.crystal.flow.worklist.AnalysisResult.java
src.edu.cmu.cs.crystal.flow.worklist.BranchInsensitiveWorklist.java
src.edu.cmu.cs.crystal.flow.worklist.BranchSensitiveWorklist.java
src.edu.cmu.cs.crystal.flow.worklist.WorklistFactory.java
src.edu.cmu.cs.crystal.flow.worklist.WorklistNodeOrderComparator.java
src.edu.cmu.cs.crystal.flow.worklist.WorklistTemplate.java
src.edu.cmu.cs.crystal.flow.worklist.package-info.java
src.edu.cmu.cs.crystal.internal.AbstractCrystalPlugin.java
src.edu.cmu.cs.crystal.internal.AnalysisMenuPopulator.java
src.edu.cmu.cs.crystal.internal.ClearWarningHandler.java
src.edu.cmu.cs.crystal.internal.ControlFlowGraph.java
src.edu.cmu.cs.crystal.internal.ControlFlowNode.java
src.edu.cmu.cs.crystal.internal.ControlFlowVisitor.java
src.edu.cmu.cs.crystal.internal.Crystal.java
src.edu.cmu.cs.crystal.internal.CrystalFileAction.java
src.edu.cmu.cs.crystal.internal.CrystalPlugin.java
src.edu.cmu.cs.crystal.internal.CrystalPreferences.java
src.edu.cmu.cs.crystal.internal.CrystalRuntimeException.java
src.edu.cmu.cs.crystal.internal.CrystalUIAction.java
src.edu.cmu.cs.crystal.internal.DisplayCrystalInfo.java
src.edu.cmu.cs.crystal.internal.EnableAnalysisHandler.java
src.edu.cmu.cs.crystal.internal.ICrystalJob.java
src.edu.cmu.cs.crystal.internal.ISingleCrystalJob.java
src.edu.cmu.cs.crystal.internal.NullPrintWriter.java
src.edu.cmu.cs.crystal.internal.RunCrystalHandler.java
src.edu.cmu.cs.crystal.internal.ShortFormatter.java
src.edu.cmu.cs.crystal.internal.StandardAnalysisReporter.java
src.edu.cmu.cs.crystal.internal.StudentRuntimeException.java
src.edu.cmu.cs.crystal.internal.UserConsoleView.java
src.edu.cmu.cs.crystal.internal.WorkspaceUtilities.java
src.edu.cmu.cs.crystal.internal.package-info.java
src.edu.cmu.cs.crystal.package-info.java
src.edu.cmu.cs.crystal.simple.AbstractingTransferFunction.java
src.edu.cmu.cs.crystal.simple.SimpleLatticeOperations.java
src.edu.cmu.cs.crystal.simple.SimpleTACFlowAnalysis.java
src.edu.cmu.cs.crystal.simple.TupleLatticeElement.java
src.edu.cmu.cs.crystal.simple.TupleLatticeOperations.java
src.edu.cmu.cs.crystal.simple.package-info.java
src.edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction.java
src.edu.cmu.cs.crystal.tac.ITACAnalysisContext.java
src.edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction.java
src.edu.cmu.cs.crystal.tac.ITACFlowAnalysis.java
src.edu.cmu.cs.crystal.tac.ITACTransferFunction.java
src.edu.cmu.cs.crystal.tac.PrintInstructionAnalysis.java
src.edu.cmu.cs.crystal.tac.SimpleInstructionVisitor.java
src.edu.cmu.cs.crystal.tac.TACFlowAnalysis.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractAssignmentInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractBinaryOperation.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractConstructorCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractMethodCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractStoreInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.AbstractTACInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.ArrayInitInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.CastInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.CompilationUnitTACs.java
src.edu.cmu.cs.crystal.tac.eclipse.CopyInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.DotClassInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseAbstractFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryAssignOperation.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryDesugaredOperation.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseBinaryInfixOperation.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseBrokenFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseFieldDeclaration.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseImplicitFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseLoadDesugaredLiteralInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseMergeHelper.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseNormalCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseReferenceFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseSuperCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseSuperConstructorCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseSuperFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTAC.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACArrayTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldInitTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACNewObjectTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTestDriver.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACTargetSelectionTest.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseTACTestRunAnalysis.java
src.edu.cmu.cs.crystal.tac.eclipse.EclipseThisConstructorCallInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.EnhancedForConditionInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.IEclipseFieldAccess.java
src.edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery.java
src.edu.cmu.cs.crystal.tac.eclipse.InstanceofInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.LoadArrayInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.LoadFieldInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.LoadLiteralInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.NewArrayInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.NewObjectInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.ResultfulInstruction.java
src.edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.SourceVariableDeclarationImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.SourceVariableReadImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.StoreArrayInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.StoreFieldInstructionImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.UnaryOperationImpl.java
src.edu.cmu.cs.crystal.tac.eclipse.package-info.java
src.edu.cmu.cs.crystal.tac.model.ArrayInitInstruction.java
src.edu.cmu.cs.crystal.tac.model.AssignmentInstruction.java
src.edu.cmu.cs.crystal.tac.model.BinaryOperation.java
src.edu.cmu.cs.crystal.tac.model.BinaryOperator.java
src.edu.cmu.cs.crystal.tac.model.CastInstruction.java
src.edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction.java
src.edu.cmu.cs.crystal.tac.model.CopyInstruction.java
src.edu.cmu.cs.crystal.tac.model.DotClassInstruction.java
src.edu.cmu.cs.crystal.tac.model.EnhancedForConditionInstruction.java
src.edu.cmu.cs.crystal.tac.model.IVariableVisitor.java
src.edu.cmu.cs.crystal.tac.model.InstanceofInstruction.java
src.edu.cmu.cs.crystal.tac.model.InvocationInstruction.java
src.edu.cmu.cs.crystal.tac.model.KeywordVariable.java
src.edu.cmu.cs.crystal.tac.model.LoadArrayInstruction.java
src.edu.cmu.cs.crystal.tac.model.LoadFieldInstruction.java
src.edu.cmu.cs.crystal.tac.model.LoadInstruction.java
src.edu.cmu.cs.crystal.tac.model.LoadLiteralInstruction.java
src.edu.cmu.cs.crystal.tac.model.MethodCallInstruction.java
src.edu.cmu.cs.crystal.tac.model.NewArrayInstruction.java
src.edu.cmu.cs.crystal.tac.model.NewObjectInstruction.java
src.edu.cmu.cs.crystal.tac.model.OneOperandInstruction.java
src.edu.cmu.cs.crystal.tac.model.ReturnInstruction.java
src.edu.cmu.cs.crystal.tac.model.SourceVariable.java
src.edu.cmu.cs.crystal.tac.model.SourceVariableDeclaration.java
src.edu.cmu.cs.crystal.tac.model.SourceVariableReadInstruction.java
src.edu.cmu.cs.crystal.tac.model.StoreArrayInstruction.java
src.edu.cmu.cs.crystal.tac.model.StoreFieldInstruction.java
src.edu.cmu.cs.crystal.tac.model.StoreInstruction.java
src.edu.cmu.cs.crystal.tac.model.SuperVariable.java
src.edu.cmu.cs.crystal.tac.model.TACArrayAccess.java
src.edu.cmu.cs.crystal.tac.model.TACFieldAccess.java
src.edu.cmu.cs.crystal.tac.model.TACInstruction.java
src.edu.cmu.cs.crystal.tac.model.TACInvocation.java
src.edu.cmu.cs.crystal.tac.model.TempVariable.java
src.edu.cmu.cs.crystal.tac.model.ThisVariable.java
src.edu.cmu.cs.crystal.tac.model.TypeVariable.java
src.edu.cmu.cs.crystal.tac.model.UnaryOperation.java
src.edu.cmu.cs.crystal.tac.model.UnaryOperator.java
src.edu.cmu.cs.crystal.tac.model.Variable.java
src.edu.cmu.cs.crystal.tac.model.package-info.java
src.edu.cmu.cs.crystal.tac.package-info.java
src.edu.cmu.cs.crystal.test.AnnotatedTest.java
src.edu.cmu.cs.crystal.test.CFGTestAnalysis.java
src.edu.cmu.cs.crystal.test.ConsListTest.java
src.edu.cmu.cs.crystal.test.EclipseCFGTestAnalysis.java
src.edu.cmu.cs.crystal.test.EclipseNodeFirstCFGTestAnalysis.java
src.edu.cmu.cs.crystal.test.SystemTestUtils.java
src.edu.cmu.cs.crystal.test.TestUtilities.java
src.edu.cmu.cs.crystal.test.package-info.java
src.edu.cmu.cs.crystal.util.Box.java
src.edu.cmu.cs.crystal.util.CollectionMethods.java
src.edu.cmu.cs.crystal.util.ConsList.java
src.edu.cmu.cs.crystal.util.Copyable.java
src.edu.cmu.cs.crystal.util.ExtendedIterator.java
src.edu.cmu.cs.crystal.util.Freezable.java
src.edu.cmu.cs.crystal.util.Lambda.java
src.edu.cmu.cs.crystal.util.Lambda2.java
src.edu.cmu.cs.crystal.util.Lambda3.java
src.edu.cmu.cs.crystal.util.Option.java
src.edu.cmu.cs.crystal.util.Pair.java
src.edu.cmu.cs.crystal.util.SimpleMap.java
src.edu.cmu.cs.crystal.util.Triple.java
src.edu.cmu.cs.crystal.util.Utilities.java
src.edu.cmu.cs.crystal.util.VOID.java
src.edu.cmu.cs.crystal.util.package-info.java
Related examples in the same category