buildframework/helium/sf/java/quality/src/com/nokia/helium/quality/ant/taskdefs/CoverityTask.java
author wbernard
Fri, 13 Aug 2010 14:59:05 +0300
changeset 628 7c4a911dc066
parent 588 c7c26511138f
child 645 b8d81fa19e7d
permissions -rw-r--r--
helium_11.0.0-e00f171ca185
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     1
/*
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     2
 * Copyright (c) 2007-2008 Nokia Corporation and/or its subsidiary(-ies).
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     3
 * All rights reserved.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     4
 * This component and the accompanying materials are made available
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     5
 * under the terms of the License "Eclipse Public License v1.0"
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     6
 * which accompanies this distribution, and is available
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     7
 * at the URL "http://www.eclipse.org/legal/epl-v10.html".
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     8
 *
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
     9
 * Initial Contributors:
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    10
 * Nokia Corporation - initial contribution.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    11
 *
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    12
 * Contributors:
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    13
 *
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    14
 * Description:  
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    15
 *
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    16
 */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    17
package com.nokia.helium.quality.ant.taskdefs;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    18
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    19
import java.io.File;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    20
import java.util.Vector;
628
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
    21
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    22
import org.apache.tools.ant.BuildException;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    23
import org.apache.tools.ant.Task;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    24
import org.apache.tools.ant.taskdefs.ExecTask;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    25
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    26
import com.nokia.helium.core.ant.types.VariableImpl;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    27
import com.nokia.helium.core.ant.types.VariableSet;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    28
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    29
/**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    30
 * To run the coverity commands.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    31
 * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    32
 * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    33
 * <pre>
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    34
 *      &lt;hlm:coverity command=&quot;cov-link&quot; dir=&quot;${build.drive}/&quot;&gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    35
 *                     &lt;hlm:arg name=&quot;--dir&quot; value=&quot;${coverity.output.dir}/intermidiate&quot;/&gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    36
 *                     &lt;hlm:arg name=&quot;--compile-arg&quot; value=&quot;armv5&quot;/&gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    37
 *                     &lt;hlm:arg name=&quot;--output&quot; value=&quot;${coverity.output.dir}/coveritylink/armv5.link&quot;/&gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    38
 *                     &lt;hlm:arg name=&quot;${coverity.output.dir}/coveritylink/all.link&quot; value=&quot;&quot;/&gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    39
 *                 &lt;/hlm:coverity &gt;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    40
 * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    41
 * </pre>
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    42
 * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    43
 * @ant.task name="coverity" category="Quality".
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    44
 * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    45
 */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    46
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    47
public class CoverityTask extends Task {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    48
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    49
    private String command;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    50
    private boolean failOnError;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    51
    private boolean execute = true;
628
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
    52
    private boolean append;
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
    53
    private File error;
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    54
    private String dir;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    55
    private Vector<VariableSet> coverityOptions = new Vector<VariableSet>();
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    56
    private Vector<VariableImpl> coverityArgs = new Vector<VariableImpl>();
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    57
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    58
    public void execute() {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    59
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    60
        validateParameters();
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    61
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    62
        runCommand(command);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    63
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    64
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    65
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    66
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    67
     * To run the command passed into coverity task.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    68
     * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    69
     * @param command
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    70
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    71
    private void runCommand(String command) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    72
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    73
        String commandString = command;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    74
        if (!command.startsWith("cov-")) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    75
            throw new BuildException(
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    76
                    "Coverity task can run only coverity prevent tool commands.");
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    77
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    78
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    79
        ExecTask task = new ExecTask();
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    80
        task.setProject(getProject());
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    81
        task.setTaskName(this.getTaskName());
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    82
        task.setFailonerror(failOnError);
628
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
    83
        task.setError(this.error);
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
    84
        task.setAppend(isAppend());
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    85
        task.setExecutable(command);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    86
        task.setDir(new File(this.dir));
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    87
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    88
        for (VariableSet coverityArg : coverityOptions) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    89
            task.createArg().setLine(coverityArg.getParameter(" "));
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    90
            commandString += " " + coverityArg.getParameter(" ");
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    91
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    92
        for (VariableImpl coverityArg : coverityArgs) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    93
            task.createArg().setLine(coverityArg.getParameter(" "));
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    94
            commandString += " " + coverityArg.getParameter(" ");
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    95
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    96
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    97
        try {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    98
            log("run command: " + commandString);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
    99
            if (execute) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   100
                task.execute();
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   101
            }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   102
        } catch (BuildException be) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   103
            if (failOnError) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   104
                throw new BuildException("exception during coverity command '"
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   105
                        + command + "' execution:", be);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   106
            }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   107
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   108
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   109
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   110
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   111
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   112
     * To validate the parameters passed into coverity task.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   113
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   114
    private void validateParameters() {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   115
        if (command == null) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   116
            throw new BuildException(
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   117
                    "'command' parameter should not be null for coverity task.");
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   118
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   119
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   120
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   121
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   122
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   123
     * @param command
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   124
     *            the command to set
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   125
     * @ant.required
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   126
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   127
    public void setCommand(String command) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   128
        this.command = command;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   129
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   130
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   131
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   132
     * @return the command
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   133
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   134
    public String getCommand() {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   135
        return command;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   136
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   137
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   138
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   139
     * @param failOnError
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   140
     *            the failOnError to set
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   141
     * @ant.not-required
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   142
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   143
    public void setFailOnError(boolean failOnError) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   144
        this.failOnError = failOnError;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   145
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   146
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   147
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   148
     * @return the dir
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   149
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   150
    public String getDir() {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   151
        return dir;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   152
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   153
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   154
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   155
     * @param dir
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   156
     *            the dir to set
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   157
     * @ant.not-required
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   158
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   159
    public void setDir(String dir) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   160
        this.dir = dir;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   161
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   162
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   163
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   164
     * @param execute
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   165
     *            the execute to set
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   166
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   167
    public void setExecute(boolean execute) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   168
        this.execute = execute;
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   169
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   170
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   171
    /**
628
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   172
     * @return the errorFile
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   173
     */
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   174
    public File getError() {
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   175
        return error;
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   176
    }
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   177
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   178
    /**
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   179
     * @param errorFile the errorFile to set
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   180
     */
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   181
    public void setError(File errorFile) {
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   182
        this.error = errorFile;
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   183
    }
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   184
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   185
    /**
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   186
     * @param append the append to set
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   187
     */
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   188
    public void setAppend(boolean append) {
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   189
        this.append = append;
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   190
    }
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   191
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   192
    /**
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   193
     * @return the append
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   194
     */
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   195
    public boolean isAppend() {
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   196
        return append;
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   197
    }
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   198
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   199
    /**
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   200
     * To read the coverity arguments for coverity commands.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   201
     * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   202
     * @param variableArg
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   203
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   204
    public void addCoverityOptions(VariableSet coverityArg) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   205
        if (!coverityOptions.contains(coverityArg)) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   206
            coverityOptions.add(coverityArg);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   207
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   208
    }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   209
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   210
    /**
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   211
     * To read the individual arguments.
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   212
     * 
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   213
     * @param coverityArg
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   214
     */
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   215
    public void addArg(VariableImpl coverityArg) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   216
        if (!coverityArgs.contains(coverityArg)) {
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   217
            coverityArgs.add(coverityArg);
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   218
        }
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   219
    }
628
7c4a911dc066 helium_11.0.0-e00f171ca185
wbernard
parents: 588
diff changeset
   220
    
588
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   221
c7c26511138f helium-10.0.0-bc45d50958fe
wbernard
parents:
diff changeset
   222
}