public void setRASOutput() throws BadLocationException {
        if (rasChecker.isSimpleNet()) {
            simplePNLabel.setText("OK");
            simplePNLabel.setForeground(RASConst.greenColor);
        } else {
            simplePNLabel.setText("False");
            simplePNLabel.setForeground(RASConst.redColor);
        }
        //--------------------------------------------
        if (rasChecker.getNumbOfPlacesWithTokens() == 1) {
            idleStateLabel.setText("OK");
            idleStateLabel.setForeground(RASConst.greenColor);
        } else {
            idleStateLabel.setText("False");
            idleStateLabel.setForeground(RASConst.redColor);
        }
        //--------------------------------------------
        if (rasChecker.getNumbOfPlacesWithoutTokens() > 0) {
            processStateLabel.setText("OK");
            processStateLabel.setForeground(RASConst.greenColor);
        } else {
            processStateLabel.setText("False");
            processStateLabel.setForeground(RASConst.redColor);
        }
        //---------------------resourceLabel-----------
        if (rasChecker.getNumbOfRecources() > 0) {
            resourceLabel.setText("OK");
            resourceLabel.setForeground(RASConst.greenColor);
        } else {
            resourceLabel.setText("False");
            resourceLabel.setForeground(RASConst.redColor);
        }
        //--------------------------------------------
        if (rasChecker.getListOfOwnCyclePairs().isEmpty()) {
            ownCycleLabel.setText("OK");
            ownCycleLabel.setForeground(RASConst.greenColor);
            ownCycleLabel.setToolTipText(null);
        } else {
            ownCycleLabel.setText("False");
            ownCycleLabel.setForeground(RASConst.redColor);
            String tooltipString = "";
            for (OwnCyclePair ocp : rasChecker.getListOfOwnCyclePairs()) {
                tooltipString = tooltipString + ocp.getPlace().getName() + " - " + ocp.getTransition().getName() + "\n";
            }
            ownCycleLabel.setToolTipText(tooltipString);
        }
        //---------------------resourceIniLabel-----------
        if (rasChecker.getNumbOfRecources() > 0) {
            resIniLabel.setText("OK");
            resIniLabel.setForeground(RASConst.greenColor);
        } else {
            resIniLabel.setText("False");
            resIniLabel.setForeground(RASConst.redColor);
        }
        //---------------------idleIniLabel-----------
        if (rasChecker.getNumbOfPlacesWithTokens() > 0) {
            idleIniLabel.setText("OK");
            idleIniLabel.setForeground(RASConst.greenColor);
        } else {
            idleIniLabel.setText("False");
            idleIniLabel.setForeground(RASConst.redColor);
        }
        //---------------------resourceLabel-----------
        if (rasChecker.isProcessPlacesIni()) {
            procIniLabel.setText("OK");
            procIniLabel.setForeground(RASConst.greenColor);
        } else {
            procIniLabel.setText("False");
            procIniLabel.setForeground(RASConst.redColor);
        }
    }