workcraft/workcraft

View on GitHub

Showing 541 of 2,288 total issues

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,

    Method testVerificationCommands has 13 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 diInterface, Boolean normalcy,

      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) {

        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) {

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

              private void testOptions(Options options, Collection<String> paths, File directory, String script, Integer port,
                      boolean noGuiFlag, boolean noConfigFlag, boolean helpFlag, boolean versionFlag) {
          Severity: Major
          Found in workcraft/WorkcraftCore/test-src/org/workcraft/OptionsTest.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)

              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) {

                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 {

                  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) {

                    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) {

                      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) {

                        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) {

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

                              private static int showChoice(String msg, String title, int messageType,
                                      String yesText, String noText, String cancelText, int defaultChoice) {
                          Severity: Major
                          Found in workcraft/WorkcraftCore/src/org/workcraft/utils/DialogUtils.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 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 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) {

                                  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) {

                                    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) {

                                      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 {

                                        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
                                          Category
                                          Status
                                          Source
                                          Language