Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2158] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2010-06-02 12:39:02
|
Revision: 2158
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2158&view=rev
Author: jenslehmann
Date: 2010-06-02 12:38:54 +0000 (Wed, 02 Jun 2010)
Log Message:
-----------
resolved compiler warnings
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneIndexer.java
trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneSearcher.java
trunk/src/dl-learner/org/dllearner/algorithms/isle/Relevances.java
trunk/src/dl-learner/org/dllearner/core/options/StringSetConfigOption.java
trunk/src/dl-learner/org/dllearner/core/options/StringTupleListConfigOption.java
trunk/src/dl-learner/org/dllearner/examples/KRK.java
trunk/src/dl-learner/org/dllearner/learningproblems/PosNegLPStandard.java
trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
trunk/src/dl-learner/org/dllearner/scripts/ConfigJavaGenerator.java
trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/RadioButtonEditor.java
trunk/src/dl-learner/org/dllearner/tools/ore/cache/LRUMap.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/AddRoundButton.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ChangesTable.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTable.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExtractFromSparqlDialog.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ImpactTable.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/LinkLabel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/MetricsTableModel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairTable.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/RolloverButton.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/StatusBar.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditor.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLAutoCompleter.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/ManchesterOWLSyntaxOWLObjectRendererImpl.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel2.java
Modified: trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -27,6 +27,8 @@
}
*/
+ private static final long serialVersionUID = -3820156025424386445L;
+
public int getLength() {
// ein ADC-Knoten hat Laenge 1, da effektiv nur ein Knoten benoetigt wird
// um die Gesamtlaenge des gelernten Konzepts zu haben, muss man natuerlich
Modified: trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneIndexer.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneIndexer.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneIndexer.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -22,14 +22,16 @@
System.out.println("<delete index!>");
System.exit(1);
}
- final File docDir = new File( args[0] );
- LuceneIndexer indexer = new LuceneIndexer( docDir );
+// final File docDir = new File( args[0] );
+// LuceneIndexer indexer = new LuceneIndexer( docDir );
}
+ @SuppressWarnings("deprecation")
public LuceneIndexer( File docDir ){
System.out.println( "LuceneIndex: "+ docDir );
Date start = new Date();
try {
+
IndexWriter writer = new IndexWriter( FSDirectory.open( INDEX ),
new StandardAnalyzer( Version.LUCENE_CURRENT ), true, IndexWriter.MaxFieldLength.LIMITED );
System.out.println( "Creating index ..." );
Modified: trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneSearcher.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneSearcher.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/algorithms/isle/LuceneSearcher.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -43,12 +43,13 @@
System.out.println( "\nquery='"+ sQuery +"' all="+ searcher.indexSize() +" hits="+ docs.size() );
for( Document doc : docs )
{
- String sDoc = doc.toString();
+// String sDoc = doc.toString();
float score = searcher.getScore( doc );
System.out.println( "score="+ score +" doc="+ doc );
}
}
+ @SuppressWarnings("deprecation")
public LuceneSearcher() throws Exception {
m_reader = IndexReader.open( FSDirectory.open( new File( INDEX ) ), true );
m_searcher = new IndexSearcher( m_reader );
@@ -89,6 +90,7 @@
else if( s1 < s2 ) return 1;
return 0;
}
+ @Override
public boolean equals( Object obj ){
return false;
}
@@ -101,22 +103,27 @@
}
private void search( Query query ) throws IOException {
+ @SuppressWarnings("unused")
Collector collector = new Collector()
{
private Scorer scorer;
private int docBase;
private Map<Document,Float> results = new HashMap<Document,Float>();
+ @Override
public void collect(int doc) throws IOException {
// System.out.println("doc=" + doc + docBase + " score=" + scorer.score());
m_results.put( m_searcher.doc( doc ), scorer.score() );
}
+ @Override
public boolean acceptsDocsOutOfOrder() {
return true;
}
+ @Override
public void setNextReader( IndexReader reader, int docBase ) throws IOException {
this.docBase = docBase;
}
+ @Override
public void setScorer(Scorer scorer) throws IOException {
this.scorer = scorer;
}
Modified: trunk/src/dl-learner/org/dllearner/algorithms/isle/Relevances.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/isle/Relevances.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/algorithms/isle/Relevances.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -94,7 +94,7 @@
String sEntity = getLabel(e);
int iEntity = m_searcher.count( sEntity );
int iEntityClass = m_searcher.count( sClass +" AND "+ sEntity );
- double dPEntity = (double)iEntity / (double)iAll;
+// double dPEntity = (double)iEntity / (double)iAll;
double dPClassEntity = (double) iEntityClass / (double)iEntity;
double dPMI = Math.log( dPClassEntity / dPClass );
if( !Double.isNaN( dPMI ) && !Double.isInfinite( dPMI ) ){
Modified: trunk/src/dl-learner/org/dllearner/core/options/StringSetConfigOption.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/options/StringSetConfigOption.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/core/options/StringSetConfigOption.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -81,7 +81,7 @@
*/
@Override
public boolean checkType(Object object) {
- if (!(object instanceof Set))
+ if (!(object instanceof Set<?>))
return false;
Set<?> set = (Set<?>) object;
Modified: trunk/src/dl-learner/org/dllearner/core/options/StringTupleListConfigOption.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/options/StringTupleListConfigOption.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/core/options/StringTupleListConfigOption.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -75,7 +75,7 @@
*/
@Override
public boolean checkType(Object object) {
- if (!(object instanceof List))
+ if (!(object instanceof List<?>))
return false;
List<?> set = (List<?>) object;
Modified: trunk/src/dl-learner/org/dllearner/examples/KRK.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/KRK.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/examples/KRK.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -61,7 +61,7 @@
static boolean closeKB=false;
static boolean closeConcise= true && closeKB;
static boolean writeClosedOWL = true && closeKB;
- static boolean verifySomeConcepts = false && closeKB;
+ static boolean verifySomeConcepts = false; // && closeKB; <-- && closeKB does not make sense
static boolean useInverse = false;
Modified: trunk/src/dl-learner/org/dllearner/learningproblems/PosNegLPStandard.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/learningproblems/PosNegLPStandard.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/learningproblems/PosNegLPStandard.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -77,6 +77,7 @@
this.configurator = new PosNegLPStandardConfigurator(this);
}
+ @Override
public void init() {
super.init();
useApproximations = configurator.getUseApproximations();
Modified: trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -1281,7 +1281,7 @@
NodeSet<OWLClass> set = reasoner.getObjectPropertyRanges(prop, true);
if (set.isEmpty())
return new Thing();
- OWLClass oc = set.iterator().next().getRepresentativeElement();
+// OWLClass oc = set.iterator().next().getRepresentativeElement();
return getDescriptionFromReturnedDomain(set);
}
Modified: trunk/src/dl-learner/org/dllearner/scripts/ConfigJavaGenerator.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/ConfigJavaGenerator.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/scripts/ConfigJavaGenerator.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -75,7 +75,7 @@
@SuppressWarnings("unchecked")
private static final Class EXTENDSREFINEMENTOPERATORCLASS = RefinementOperatorConfigurator.class;
- private static final boolean INCLUDE_UNUSED = false;
+// private static final boolean INCLUDE_UNUSED = false;
private static final String UNUSED = "@SuppressWarnings(\"unused\")\n";
private static final String OVERRIDE = "@SuppressWarnings(\"all\")\n";
@@ -542,7 +542,7 @@
ret += "package " + packagE + ";\n\n";
ret += imports + "\n";
ret += fillJavaDocComment(CLASS_COMMENT);
- ret += (INCLUDE_UNUSED) ? UNUSED : "";
+// ret += (INCLUDE_UNUSED) ? UNUSED : "";
ret += (!extendS.isEmpty()) ? OVERRIDE : "";
ret += "public "+classModifier+" class " + className + " "
+ ((extendS.length() > 0) ? " extends " + extendS : "")
Modified: trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/RadioButtonEditor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/RadioButtonEditor.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/RadioButtonEditor.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -41,6 +41,7 @@
*/
private static final long serialVersionUID = -1736759123580734984L;
+ @Override
public void setValue(Object value) {
boolean selected = false;
if (value instanceof Boolean) {
@@ -51,6 +52,7 @@
radioButton.setSelected(selected);
}
+ @Override
public Object getCellEditorValue() {
return Boolean.valueOf(radioButton.isSelected());
}
@@ -92,6 +94,7 @@
*
* @see EditorDelegate#shouldSelectCell(EventObject)
*/
+ @Override
public boolean shouldSelectCell(EventObject anEvent) {
return delegate.shouldSelectCell(anEvent);
}
@@ -102,6 +105,7 @@
*
* @see EditorDelegate#stopCellEditing
*/
+ @Override
public boolean stopCellEditing() {
return delegate.stopCellEditing();
}
@@ -112,6 +116,7 @@
*
* @see EditorDelegate#cancelCellEditing
*/
+ @Override
public void cancelCellEditing() {
delegate.cancelCellEditing();
}
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/cache/LRUMap.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/cache/LRUMap.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/cache/LRUMap.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -15,7 +15,8 @@
this.maxCapacity = maxCapacity;
}
- protected boolean removeEldestEntry(Map.Entry<K,V> eldest) {
+ @Override
+ protected boolean removeEldestEntry(Map.Entry<K,V> eldest) {
return size() >= this.maxCapacity;
}
}
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/AddRoundButton.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/AddRoundButton.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/AddRoundButton.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -79,6 +79,7 @@
}
// Paint the round background and label.
+ @Override
protected void paintComponent(Graphics g) {
if (getModel().isArmed()) {
// You might want to make the highlight color
@@ -95,6 +96,7 @@
}
// Paint the border of the button using a simple stroke.
+ @Override
protected void paintBorder(Graphics g) {
Graphics2D g2 = (Graphics2D)g;
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
@@ -105,6 +107,7 @@
// Hit detection.
Shape shape;
+ @Override
public boolean contains(int x, int y) {
// If the button has changed size,
// make a new shape object.
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/ChangesTable.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/ChangesTable.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/ChangesTable.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -40,7 +40,8 @@
addKeyListener(new KeyAdapter() {
- public void keyPressed(KeyEvent e)
+ @Override
+ public void keyPressed(KeyEvent e)
{
handleKeyPressed(e);
}
@@ -55,6 +56,7 @@
table = ChangesTable.this;
}
+ @Override
public void mouseMoved(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
@@ -75,6 +77,7 @@
table = ChangesTable.this;
}
+ @Override
public void mouseClicked(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTable.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTable.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTable.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -166,6 +166,7 @@
*/
private static final long serialVersionUID = -3386641672808329591L;
+ @Override
public String getToolTipText(MouseEvent e) {
java.awt.Point p = e.getPoint();
@@ -286,6 +287,7 @@
*/
private static final long serialVersionUID = -1729370486474583609L;
+ @Override
public Component getTableCellRendererComponent(JTable table,
Object obj, boolean isSelected, boolean hasFocus, int row,
int column) {
@@ -329,6 +331,7 @@
*/
private static final long serialVersionUID = 1277678457457723435L;
+ @Override
public void selectInitialValue() {
// This is overriden so that the option pane dialog default
// button
@@ -354,6 +357,7 @@
dlg.setLocationRelativeTo(parent);
dlg.addComponentListener(new ComponentAdapter() {
+ @Override
public void componentHidden(ComponentEvent e) {
Object retVal = optionPane.getValue();
editorComponent.setPreferredSize(editorComponent.getSize());
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExtractFromSparqlDialog.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExtractFromSparqlDialog.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExtractFromSparqlDialog.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -242,6 +242,7 @@
optionsButton.setBorderPainted(false);
optionsButton.setContentAreaFilled(false);
optionsButton.addMouseListener(new MouseAdapter() {
+ @Override
public void mouseEntered(MouseEvent e) {
optionsButton.setBorderPainted(true);
optionsButton.setContentAreaFilled(true);
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/ImpactTable.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/ImpactTable.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/ImpactTable.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -57,6 +57,7 @@
table = ImpactTable.this;
}
+ @Override
public void mouseMoved(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
@@ -76,6 +77,7 @@
table = ImpactTable.this;
}
+ @Override
public void mouseClicked(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
@@ -87,6 +89,7 @@
}
+ @Override
public void mousePressed(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
if (row >= 0 && row < getRowCount() && e.isPopupTrigger()) {
@@ -96,6 +99,7 @@
}
+ @Override
public void mouseReleased(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
if (row >= 0 && row < getRowCount() && e.isPopupTrigger()) {
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/LinkLabel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/LinkLabel.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/LinkLabel.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -50,17 +50,20 @@
setForeground(linkColor);
addMouseListener(new MouseAdapter() {
- public void mouseEntered(MouseEvent e) {
+ @Override
+ public void mouseEntered(MouseEvent e) {
setHoverMode(true);
}
- public void mouseExited(MouseEvent e) {
+ @Override
+ public void mouseExited(MouseEvent e) {
setHoverMode(false);
}
- public void mouseReleased(MouseEvent e) {
+ @Override
+ public void mouseReleased(MouseEvent e) {
activateLink();
}
});
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/MetricsTableModel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/MetricsTableModel.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/MetricsTableModel.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -47,7 +47,8 @@
}
- public String getColumnName(int column) {
+ @Override
+ public String getColumnName(int column) {
if (column == 0) {
return "Metric";
}
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairTable.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairTable.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairTable.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -53,6 +53,7 @@
addKeyListener(new KeyAdapter() {
+ @Override
public void keyPressed(KeyEvent e) {
handleKeyPressed(e);
}
@@ -66,6 +67,7 @@
table = RepairTable.this;
}
+ @Override
public void mouseMoved(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
@@ -86,6 +88,7 @@
table = RepairTable.this;
}
+ @Override
public void mouseClicked(MouseEvent e) {
int row = rowAtPoint(e.getPoint());
int column = columnAtPoint(e.getPoint());
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/RolloverButton.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/RolloverButton.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/RolloverButton.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -19,7 +19,8 @@
}
- protected void paintBorder( Graphics g )
+ @Override
+protected void paintBorder( Graphics g )
{
if( model.isRollover() )
{
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/StatusBar.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/StatusBar.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/StatusBar.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -106,6 +106,7 @@
});
}
+ @Override
protected void paintComponent(Graphics g) {
super.paintComponent(g);
@@ -291,7 +292,8 @@
}
// Paint the round background and label.
- protected void paintComponent(Graphics g) {
+ @Override
+ protected void paintComponent(Graphics g) {
if (getModel().isArmed()) {
// You might want to make the highlight color
// a property of the RoundButton class.
@@ -314,7 +316,8 @@
}
// Paint the border of the button using a simple stroke.
- protected void paintBorder(Graphics g) {
+ @Override
+ protected void paintBorder(Graphics g) {
g.setColor(Color.lightGray);
g.drawOval(0, 0, getSize().width-1,
getSize().height-1);
@@ -322,7 +325,8 @@
// Hit detection.
Shape shape;
- public boolean contains(int x, int y) {
+ @Override
+ public boolean contains(int x, int y) {
// If the button has changed size,
// make a new shape object.
if (shape == null ||
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditor.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditor.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -176,7 +176,8 @@
}
- public void setBorder(Border border) {
+ @Override
+ public void setBorder(Border border) {
outerBorder = border;
// Override to set the outer border
super.setBorder(BorderFactory.createCompoundBorder(outerBorder, stateBorder));
@@ -256,7 +257,8 @@
}
- protected void paintComponent(Graphics g) {
+ @Override
+ protected void paintComponent(Graphics g) {
super.paintComponent(g);
Color oldColor = g.getColor();
try {
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLAutoCompleter.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLAutoCompleter.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLAutoCompleter.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -76,11 +76,13 @@
private int maxEntries = DEFAULT_MAX_ENTRIES;
private KeyListener keyListener = new KeyAdapter() {
- public void keyPressed(KeyEvent e) {
+ @Override
+ public void keyPressed(KeyEvent e) {
processKeyPressed(e);
}
- public void keyReleased(KeyEvent e) {
+ @Override
+ public void keyReleased(KeyEvent e) {
if (e.getKeyCode() != KeyEvent.VK_UP && e.getKeyCode() != KeyEvent.VK_DOWN) {
if (popupWindow.isVisible() && !lastTextUpdate.equals(textComponent.getText())) {
@@ -92,15 +94,18 @@
};
private ComponentAdapter componentListener = new ComponentAdapter() {
- public void componentHidden(ComponentEvent event) {
+ @Override
+ public void componentHidden(ComponentEvent event) {
hidePopup();
}
- public void componentResized(ComponentEvent event) {
+ @Override
+ public void componentResized(ComponentEvent event) {
hidePopup();
}
- public void componentMoved(ComponentEvent event) {
+ @Override
+ public void componentMoved(ComponentEvent event) {
hidePopup();
}
};
@@ -123,7 +128,8 @@
};
private MouseListener mouseListener = new MouseAdapter() {
- public void mouseClicked(MouseEvent e) {
+ @Override
+ public void mouseClicked(MouseEvent e) {
if (e.getClickCount() == 2) {
completeWithPopupSelection();
}
@@ -131,7 +137,8 @@
};
private FocusListener focusListener = new FocusAdapter(){
- public void focusLost(FocusEvent event) {
+ @Override
+ public void focusLost(FocusEvent event) {
hidePopup();
}
};
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/ManchesterOWLSyntaxOWLObjectRendererImpl.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/ManchesterOWLSyntaxOWLObjectRendererImpl.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/ManchesterOWLSyntaxOWLObjectRendererImpl.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -51,22 +51,26 @@
}
- public String toString() {
+ @Override
+ public String toString() {
return delegate.getBuffer().toString();
}
- public void close() throws IOException {
+ @Override
+ public void close() throws IOException {
delegate.close();
}
- public void flush() throws IOException {
+ @Override
+ public void flush() throws IOException {
delegate.flush();
}
- public void write(char cbuf[], int off, int len) throws IOException {
+ @Override
+ public void write(char cbuf[], int off, int len) throws IOException {
delegate.write(cbuf, off, len);
}
}
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -139,7 +139,8 @@
wizardModel = new WizardModel();
wizardDialog = new JFrame();
wizardDialog.addWindowListener(new WindowAdapter() {
- public void windowClosing(WindowEvent e) {
+ @Override
+ public void windowClosing(WindowEvent e) {
System.out.println("Exited application");
wizardDialog.dispose();
System.exit(0);
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -307,6 +307,7 @@
explanationsPanel.add(explanationHolderPanel);
}
+ @Override
public void validate(){
explanationsScrollPane.validate();
}
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel2.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel2.java 2010-05-31 13:36:06 UTC (rev 2157)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel2.java 2010-06-02 12:38:54 UTC (rev 2158)
@@ -289,6 +289,7 @@
explanationsPanel.add(explanationHolderPanel);
}
+ @Override
public void validate(){
explanationsScrollPane.validate();
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
