가장 인기 있는 Java 클래스와 메소드들

1061501. Server (2)
3개의 필드
1061502. JettyServerProvider (2)
1061503. Timeline (2)
3개의 필드
1061504. EquinoxInstallationDescription (2)
1061505. EnvironmentUtil (2)
1061506. HttpServer (2)
1061507. ArtifactDescriptor (2)
1061508. Configuration (2)
1개의 필드
1061509. DataSetAggregated (2)
1061510. DynamicValueAssignment (2)
1061511. MeasurementSpecification (2)
1061512. ParameterValueAssignment (2)
1061513. ScenarioDefinition (2)
1061514. ExperimentSeries (2)
2개의 필드
1061515. ExperimentSeriesRun (2)
1061516. ScenarioInstance (2)
2개의 필드
1061517. SupportedTypes (2)
1061518. MainLayoutPanel (2)
1개의 필드
1061519. ScenarioAddController (2)
1061520. Manager (2)
1개의 필드
1061521. ScenarioManager (2)
1061522. RPC (2)
1061523. ViewHolder (2)
1061524. GraphVertex (2)
1061525. GraphicLayoutInfo (2)
1061526. Group (2)
1061527. Relation (2)
1061528. Tuple (2)
1061529. MapsDifference.Entry (2)
1061530. Configuration (2)
1개의 필드
1061531. LogManager (2)
2개의 필드
1061532. TestLogManager (2)
1061533. LogManager (2)
1061534. Triple (2)
1061535. UniqueIdGenerator (2)
1061536. CBinaryExpression (2)
1061537. CExpression (2)
1061538. CFunctionDeclaration (2)
1061539. FileLocation (2)
1061540. Block (2)
1061541. BlockPartitioning (2)
1061542. CAssumeEdge (2)
1061543. CFAEdge (2)
1개의 필드
1061544. CFANode (2)
1061545. FunctionEntryNode (2)
1061546. FunctionExitNode (2)
1061547. CSimpleType (2)
1061548. JConstructorType (2)
1061549. CFA (2)
1061550. VariableTrackingPrecision (2)
1061551. ProofChecker (2)
1개의 필드
1061552. AbstractState (2)
1061553. ConfigurableProgramAnalysis (2)
2개의 필드
1061554. HistoryForwardingReachedSet (2)
1061555. ReachedSet (2)
2개의 필드
1061556. ReachedSetFactory (2)
1개의 필드
1061557. UnmodifiableReachedSet (2)
1개의 필드
1061558. ARGPathBuilder (2)
1061559. PathIterator (2)
1061560. ARGPath (2)
1061561. ARGReachedSet (2)
1개의 필드
1061562. ARGState (2)
5개의 필드
1061563. ARGUtils (2)
1061564. AutomatonStateARGCombiningHelper (2)
1061565. CompoundInterval (2)
1061566. PointerComposeState (2)
1061567. PredicateAbstractState (2)
1061568. SMGSingleLinkedListFinder (2)
1개의 필드
1061569. SMGObject (2)
1061570. SMG (2)
1061571. SMGEdgeHasValueFilter (2)
1061572. SMGEdgePointsTo (2)
1개의 필드
1061573. PartitioningIOHelper (2)
1061574. BAMPredicateCPA (2)
1061575. Collection> (2)
1061576. CompositePrecision (2)
1061577. CompositeState (2)
1061578. ExtendedPredicateRefiner (2)
1061579. List> (2)
1061580. Edge (2)
1061581. PathToCTranslator (2)
1061582. GlobalInfo (2)
1061583. BooleanFormulaManagerView (2)
1061584. FormulaManagerView (2)
1061585. NumeralFormulaManagerView (2)
1061586. PathFormulaManager (2)
1061587. Region (2)
1061588. PointerTargetSet (2)
1061589. BooleanFormulaManagerView (2)
1061590. FormulaManagerView (2)
1061591. Solver (2)
1061592. AbstractionFormula (2)
1061593. MemoryLocation (2)
1061594. StatCounter (2)
1061595. CFAUtils (2)
1061596. Precisions (2)
1개의 필드
1061597. BooleanFormula (2)
1061598. BooleanFormulaManager (2)
1061599. FormulaManager (2)
1061600. BooleanFormulaManager (2)