Index

A C D E F G I L M N P R S T V 
All Classes and Interfaces|All Packages|Serialized Form

A

accepts(ReaderFactory) - Method in class com.absint.astree.AstreeReportParser
Check if file format is acceptable.
Alarm - Enum constant in enum com.absint.astree.Message.MessageType
 
AlarmType - Class in com.absint.astree
alarm type of an AbsInt issue
AlarmType() - Constructor for class com.absint.astree.AlarmType
 
AnalysisServerConfiguration - Class in com.absint.astree
 
AnalysisServerConfiguration(String, boolean, String, String, String) - Constructor for class com.absint.astree.AnalysisServerConfiguration
 
AnalysisSummary - Class in com.absint.astree
Stores an analysis (result) summary and provides an interface to the analysis result for the Astrée PlugIn classes.
AstreeBuilder - Class in com.absint.astree
When the user configures the project and enables this builder, Descriptor.newInstance(StaplerRequest) is invoked and a new AstreeBuilder is created.
AstreeBuilder(String, String, String, boolean, boolean, boolean, boolean, boolean, boolean, boolean, boolean, boolean, FailonSwitch, AnalysisServerConfiguration) - Constructor for class com.absint.astree.AstreeBuilder
 
AstreeBuilder.DescriptorImpl - Class in com.absint.astree
Descriptor for AstreeBuilder.
AstreeReportParser - Class in com.absint.astree
Parser for AbsInt Astree XML reports.
AstreeReportParser() - Constructor for class com.absint.astree.AstreeReportParser
 
AstreeSimpleReportParser - Class in com.absint.astree
Parser which simply parses Astree XML reports into data structures whithout interconnecting the elements
AstreeSimpleReportParser() - Constructor for class com.absint.astree.AstreeSimpleReportParser
 
AstreeTool - Class in com.absint.astree
Tool registration to be picked up by warnings pluging
AstreeTool() - Constructor for class com.absint.astree.AstreeTool
Creates a new instance of AstreeTool.
AstreeTool.Descriptor - Class in com.absint.astree
Descriptor for this static analysis tool.

C

clear() - Method in class com.absint.astree.AstreeSimpleReportParser
clear all parsed data
com.absint.astree - package com.absint.astree
 
configure(StaplerRequest, JSONObject) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Sets a new configuration.
containsEnvVars(String) - Static method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Helper method to check whether a string contains an environment variable of form
${IDENTIFIER}
createParser() - Method in class com.absint.astree.AstreeTool
 

D

Descriptor() - Constructor for class com.absint.astree.AstreeTool.Descriptor
Creates the descriptor instance.
DescriptorImpl() - Constructor for class com.absint.astree.AstreeBuilder.DescriptorImpl
Constructor.
doCheckAlauncher(String, AbstractProject) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Performs on-the-fly validation of the form field 'alauncher'.
doCheckAnalysis_id(String) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Performs on-the-fly validation of the form field 'analysis_id'.
doCheckAstree_server(String) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Performs on-the-fly validation of the form field 'astree_server'.
doCheckDax_file(String) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Performs on-the-fly validation of the form field 'dax_file'.
doCheckOutput_dir(String) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Performs on-the-fly validation of the form field 'output_dir'.

E

equalsName(String) - Method in enum com.absint.astree.Message.MessageType
check if enum is equal
Error - Enum constant in enum com.absint.astree.Message.MessageType
 

F

failOnAlarms() - Method in class com.absint.astree.FailonSwitch
Determines whether the configuration is set to fail a build in case a potential runtime error ("alarm") is reported.
failOnErrors() - Method in class com.absint.astree.FailonSwitch
Determines whether the configuration is set to fail a build in case a definite runtime error is reported.
failOnFlowAnomalies() - Method in class com.absint.astree.FailonSwitch
Determines whether the configuration is set to fail a build in case a flow anomaly ("Type D alarm") is reported.
FailonSwitch - Class in com.absint.astree
Helper class for the com.absint.astree.AstreeBuilder.
FailonSwitch(String) - Constructor for class com.absint.astree.FailonSwitch
 
finalize() - Method in class com.absint.astree.AstreeBuilder
Override finalize method to ensure existing a3c client processes are killed upon destruction of AstreeBuilder objects.

G

getAlarmClass() - Method in class com.absint.astree.AlarmType
get alarm class
getAlarmClassStr() - Method in class com.absint.astree.AlarmType
get alarm class
getAlarmType(String) - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed alarm type
getAlauncher() - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Returns the currently configured alauncher.
getAnalysis_id() - Method in class com.absint.astree.AstreeBuilder
Returns the currently set analysis ID used for the analysis run.
getAstree_server() - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Returns the currently configured Astrée server (as host:port).
getCategory(String) - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed alarm category
getCategoryID() - Method in class com.absint.astree.AlarmType
get alarm category ID
getCodeSnippet(String) - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed code snippet
getColEnd() - Method in class com.absint.astree.Location
get end column number in file
getColStart() - Method in class com.absint.astree.Location
get start column number in file
getContext() - Method in class com.absint.astree.Message
get message context
getDax_file() - Method in class com.absint.astree.AstreeBuilder
Returns the currently set path to the DAX file used for the analysis run.
getDescriptor() - Method in class com.absint.astree.AstreeBuilder
 
getDisplayName() - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Return the human readable name used in the configuration screen.
getDisplayName() - Method in class com.absint.astree.AstreeTool.Descriptor
 
getFailon() - Method in class com.absint.astree.AstreeBuilder
 
getFailon() - Method in class com.absint.astree.FailonSwitch
Returns the short name for the currently configured/set situations in which the plugin may fail a build.
getFile(String) - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed file
getFileID() - Method in class com.absint.astree.Location
get file ID
getLineEnd() - Method in class com.absint.astree.Location
get end line number in file
getLineStart() - Method in class com.absint.astree.Location
get start line number in file
getLocation(String) - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed location
getLocationID() - Method in class com.absint.astree.Message
get location ID
getMessages() - Method in class com.absint.astree.AstreeSimpleReportParser
get parsed messages
getNumberOfAlarms() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported potential runtime errors ("alarms").
getNumberOfErrors() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported definite runtime errors ("errors").
getNumberOfFlowAnomalies() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported flow anaomalies ("Type D alarms").
getNumberOfRuleViolations() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported rule violations ("Type R alarms").
getNumberOfTrueAlarms() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported potential runtime errors ("alarms") classified as "true".
getNumberOfUncommentedAlarms() - Method in class com.absint.astree.AnalysisSummary
Returns the number of reported potential runtime errors ("alarms") not commented.
getOrigColEnd() - Method in class com.absint.astree.Location
get original end column number in file
getOrigColStart() - Method in class com.absint.astree.Location
get original start column number in file
getOrigFileID() - Method in class com.absint.astree.Location
get original file ID
getOrigLineEnd() - Method in class com.absint.astree.Location
get original end line number in file
getOrigLineStart() - Method in class com.absint.astree.Location
get original start line number in file
getOutput_dir() - Method in class com.absint.astree.AstreeBuilder
Returns the currently set path used as output directory for the analyses.
getPassword() - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Returns the currently configured Astrée (user) password.
getText() - Method in class com.absint.astree.Message
get message text
getType() - Method in class com.absint.astree.AlarmType
get type
getType() - Method in class com.absint.astree.Message
get message type
getTypeID() - Method in class com.absint.astree.Message
get type ID
getUser() - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Returns the currently configured Astrée user.

I

isApplicable(Class<? extends AbstractProject>) - Method in class com.absint.astree.AstreeBuilder.DescriptorImpl
Indicates that this builder can be used with all kinds of project types.
isDropAnalysis() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the project is to be deleted on the server after the analysis run.
isFailonswitch() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to potentially fail a build.
isGenPreprocessOutput() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the (text) preprocess output report.
isGenXMLAlarmsByCategory() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML alarms-by-category summary.
isGenXMLAlarmsByFile() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML alarms-by-file summary.
isGenXMLAlarmsByOccurence() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML alarms-by-occurence summary.
isGenXMLCoverage() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML coverage summary.
isGenXMLOverview() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML overview summary.
isGenXMLRulechecks() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to produce the XML rule checks summary.
isSkip_analysis() - Method in class com.absint.astree.AstreeBuilder
Indicates whether the analysis run is configured to be temporarily skipped (i.e., no analysis is to be done).

L

Location - Class in com.absint.astree
location information of an AbsInt issue
Location() - Constructor for class com.absint.astree.Location
 

M

Message - Class in com.absint.astree
message
Message() - Constructor for class com.absint.astree.Message
 
Message.MessageType - Enum in com.absint.astree
possible message types

N

Note - Enum constant in enum com.absint.astree.Message.MessageType
 

P

parse(ReaderFactory) - Method in class com.absint.astree.AstreeReportParser
Parse a AbsInt Astree XML report.
parse(Document) - Method in class com.absint.astree.AstreeSimpleReportParser
parse document into internal data structures
perform(Run<?, ?>, FilePath, Launcher, TaskListener) - Method in class com.absint.astree.AstreeBuilder
 

R

readFromReportFile(String) - Static method in class com.absint.astree.AnalysisSummary
Constructs an AnalyisSummary object from a report file (txt version).

S

setAlarmClass(AlarmType.enClass) - Method in class com.absint.astree.AlarmType
set alarm class
setAlarmClass(String) - Method in class com.absint.astree.AlarmType
set alarm class
setCategoryID(String) - Method in class com.absint.astree.AlarmType
set alarm category ID
setColEnd(String) - Method in class com.absint.astree.Location
set end column number in file
setColStart(String) - Method in class com.absint.astree.Location
set start column number in file
setContext(String) - Method in class com.absint.astree.Message
set message context
setFailon(String) - Method in class com.absint.astree.FailonSwitch
 
setFileID(String) - Method in class com.absint.astree.Location
set file ID
setLineEnd(String) - Method in class com.absint.astree.Location
set end line number in file
setLineStart(String) - Method in class com.absint.astree.Location
set start line number in file
setLocationID(String) - Method in class com.absint.astree.Message
set location ID
setOrigColEnd(String) - Method in class com.absint.astree.Location
set original end line number in file
setOrigColStart(String) - Method in class com.absint.astree.Location
set original start line number in file
setOrigFileID(String) - Method in class com.absint.astree.Location
set original file ID
setOrigLineEnd(String) - Method in class com.absint.astree.Location
set original end line number in file
setOrigLineStart(String) - Method in class com.absint.astree.Location
set original start line number in file
setText(String) - Method in class com.absint.astree.Message
set message text
setType(Message.MessageType) - Method in class com.absint.astree.Message
set message type
setType(String) - Method in class com.absint.astree.AlarmType
set type
setTypeID(String) - Method in class com.absint.astree.Message
set type ID

T

toString() - Method in enum com.absint.astree.Message.MessageType
convert enumt to string

V

valueOf(String) - Static method in enum com.absint.astree.Message.MessageType
Returns the enum constant of this type with the specified name.
values() - Static method in enum com.absint.astree.Message.MessageType
Returns an array containing the constants of this enum type, in the order they are declared.
A C D E F G I L M N P R S T V 
All Classes and Interfaces|All Packages|Serialized Form