Sign upLogin

workcraft/workcraft

View on GitHub
Star

Showing 589 of 2,484 total issues

Method testVerificationCommands has 14 arguments (exceeds 4 allowed). Consider refactoring.
Open

    private void testVerificationCommands(String workName, Boolean combined,
            Boolean consistency, Boolean deadlockFreeness,
            Boolean inputProperness, Boolean outputPersistency, Boolean outputDeterminacy,
            Boolean csc, Boolean usc,
            Boolean localSelfTriggering, Boolean diInterface, Boolean normalcy,
Severity: Major
Found in workcraft/MpsatVerificationPlugin/test-src/org/workcraft/plugins/mpsat_verification/VerificationCommandTests.java - About 1 hr to fix

    Method instantiateEncoding has 13 arguments (exceeds 4 allowed). Consider refactoring.
    Open

        protected void instantiateEncoding(int m, int freeVariables,
            ArrayList<VisualTransformableNode> scenarios, Variable[] vars,
            boolean[][] encoding, int pr, HashMap<String, Integer> events,
            VisualVertex[] vertices, VisualCpog cpog, VisualScenario resultCpog,
            ArrayList<Point2D> positions, ArrayList<Integer> count,
    Severity: Major
    Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 1 hr to fix

      Method resetVars has 12 arguments (exceeds 4 allowed). Consider refactoring.
      Open

          protected void resetVars(String verbose, String genMode, String numSol, String customFlag, String customPath, String effort, String espressoFlag, String abcFlag, String gateLibFlag, String cpogSize, String disableFunction, String oldSynt) {
      Severity: Major
      Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 1 hr to fix

        Method testOptions has 12 arguments (exceeds 4 allowed). Consider refactoring.
        Open

            private void testOptions(Options options, Collection<String> paths, File directory,
            String config, String configAdditional, String script, Integer port,
            boolean noGuiFlag, boolean noConfigLoadFlag, boolean noConfigSaveFlag,
            boolean helpFlag, boolean versionFlag) {
        Severity: Major
        Found in workcraft/WorkcraftCore/test-src/org/workcraft/OptionsTest.java - About 1 hr to fix

          Method checkVisualStgNodeCount has 9 arguments (exceeds 4 allowed). Consider refactoring.
          Open

              private void checkVisualStgNodeCount(VisualStg stg, int explicitPlaceCount, int implicitPlaceCount, int replicaPlaceCount,
            int signalTransitionCount, int dummyTransitionCount, int producingArcCount, int consumingArcCount, int readArcCount) {
          Severity: Major
          Found in workcraft/StgPlugin/test-src/org/workcraft/plugins/stg/TransformationCommandTests.java - About 1 hr to fix

            Method testResetCommands has 9 arguments (exceeds 4 allowed). Consider refactoring.
            Open

                private void testResetCommands(String workName, int initNum, int inputNum, int problematicNum,
            int autoDiscardNum, int autoAppendNum, int finalNum, boolean activeLow, boolean pass)
            Severity: Major
            Found in workcraft/CircuitPlugin/test-src/org/workcraft/plugins/circuit/ResetCommandTests.java - About 1 hr to fix

              Method connectFormulaeToVisualVertex has 8 arguments (exceeds 4 allowed). Consider refactoring.
              Open

                  protected void connectFormulaeToVisualVertex(int v, int a, Variable[] vars, HashMap<String,
            BooleanFormula> formulaeName, String[] optFormulaeVertices, String[] optVertices,
            String[] optFormulaeArcs, String[] arcNames) throws ParseException {
              Severity: Major
              Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 1 hr to fix

                Method constructConstraints has 8 arguments (exceeds 4 allowed). Consider refactoring.
                Open

                    protected ArrayList<String> constructConstraints(char[][][] constraints, int[][] graph, int m, int n,
            ArrayList<VisualTransformableNode> scenarios,
            HashMap<String, Integer> events, ArrayList<Point2D> positions,
            ArrayList<Integer> count) {
                Severity: Major
                Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 1 hr to fix

                  Method fit has 8 arguments (exceeds 4 allowed). Consider refactoring.
                  Open

                      private boolean fit(Container target, int x, int y, int width, int height, int start, int end, boolean ltr) {
                  Severity: Major
                  Found in workcraft/WorkcraftCore/src/org/workcraft/gui/layouts/SmartFlowLayout.java - About 1 hr to fix

                    Method moveComponents has 8 arguments (exceeds 4 allowed). Consider refactoring.
                    Open

                        private void moveComponents(Container target, int x, int y, int remainingWidth, int height,
            int rowStart, int rowEnd, boolean ltr) {
                    Severity: Major
                    Found in workcraft/WorkcraftCore/src/org/workcraft/gui/layouts/SmartFlowLayout.java - About 1 hr to fix

                      Method stretch has 8 arguments (exceeds 4 allowed). Consider refactoring.
                      Open

                          private void stretch(Container target, int x, int y, int width, int height, int start, int end, boolean ltr) {
                      Severity: Major
                      Found in workcraft/WorkcraftCore/src/org/workcraft/gui/layouts/SmartFlowLayout.java - About 1 hr to fix

                        Method genQueue2p has 8 arguments (exceeds 4 allowed). Consider refactoring.
                        Open

                            private static void genQueue2p(int size, String id, String id1, String idp, int init, String gpf, int fieldgr, PrintWriter writer) {
                        Severity: Major
                        Found in workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java - About 1 hr to fix

                          Method getTreeCellRendererComponent has 7 arguments (exceeds 4 allowed). Consider refactoring.
                          Open

                                  public Component getTreeCellRendererComponent(JTree tree,
                Object value, boolean sel, boolean expanded, boolean leaf,
                int row, boolean hasFocus) {
                          Severity: Major
                          Found in workcraft/WorkcraftCore/src/org/workcraft/gui/trees/TreeWindow.java - About 50 mins to fix

                            Method createDockable has 7 arguments (exceeds 4 allowed). Consider refactoring.
                            Open

                                private static DockableWindow createDockable(JComponent component, String title,
            Dockable neighbour, int options, String region, float split, String persistentID) {
                            Severity: Major
                            Found in workcraft/WorkcraftCore/src/org/workcraft/gui/tabs/DockingUtils.java - About 50 mins to fix

                              Method genSwitch has 7 arguments (exceeds 4 allowed). Consider refactoring.
                              Open

                                  private static void genSwitch(String id, String id1, String id2, String idp1, String idp2, int fieldgr, PrintWriter writer) {
                              Severity: Major
                              Found in workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java - About 50 mins to fix

                                Method genFork has 7 arguments (exceeds 4 allowed). Consider refactoring.
                                Open

                                    private static void genFork(String id, String id1, String id2, String idp1, String idp2, int fieldgr, PrintWriter writer) {
                                Severity: Major
                                Found in workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java - About 50 mins to fix

                                  Method genQueue has 7 arguments (exceeds 4 allowed). Consider refactoring.
                                  Open

                                      private static void genQueue(String id, String id1, String idp, int init, String gpf, int fieldgr, PrintWriter writer) {
                                  Severity: Major
                                  Found in workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java - About 50 mins to fix

                                    Method testExport has 7 arguments (exceeds 4 allowed). Consider refactoring.
                                    Open

                                        private void testExport(String workName, String vHeader,
            String svgHeader, String pngHeader, String pdfHeader, String epsHeader, String psHeader)
                                    Severity: Major
                                    Found in workcraft/CircuitPlugin/test-src/org/workcraft/plugins/circuit/ExportTests.java - About 50 mins to fix

                                      Method testVerificationCommands has 7 arguments (exceeds 4 allowed). Consider refactoring.
                                      Open

                                          private void testVerificationCommands(String workName,
            Boolean conformation, Boolean deadlockFreeness, Boolean outputPersistency,
            Boolean strictImplementation, Boolean binateImplementation, Boolean refinement) throws DeserialisationException {
                                      Severity: Major
                                      Found in workcraft/CircuitPlugin/test-src/org/workcraft/plugins/circuit/VerificationCommandTests.java - About 50 mins to fix

                                        Avoid deeply nested control flow statements.
                                        Open

                                                                if (!sync.contains(n)) {
                            err += ((ChannelPlace) pre).getErrors();
                        }
                                        Severity: Major
                                        Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java - About 45 mins to fix
                                          Severity
                                          Category
                                          Status
                                          Source
                                          Language