Skip to content
Snippets Groups Projects
Commit 3d74a813 authored by tjc's avatar tjc
Browse files

fix for remote entry identifiers in a location

git-svn-id: svn+ssh://svn.internal.sanger.ac.uk/repos/svn/pathsoft/artemis/trunk@9749 ee4ac58c-ac51-4696-9907-e4b3aa274f04
parent d194317c
No related branches found
No related tags found
No related merge requests found
...@@ -20,7 +20,7 @@ ...@@ -20,7 +20,7 @@
* along with this program; if not, write to the Free Software * along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
* *
* $Header: //tmp/pathsoft/artemis/uk/ac/sanger/artemis/io/Location.java,v 1.7 2005-11-15 14:02:37 tjc Exp $ * $Header: //tmp/pathsoft/artemis/uk/ac/sanger/artemis/io/Location.java,v 1.8 2009-02-02 16:05:32 tjc Exp $
*/ */
package uk.ac.sanger.artemis.io; package uk.ac.sanger.artemis.io;
...@@ -34,7 +34,7 @@ import uk.ac.sanger.artemis.io.LocationLexer.TokenEnumeration; ...@@ -34,7 +34,7 @@ import uk.ac.sanger.artemis.io.LocationLexer.TokenEnumeration;
* functions for parsing and manipulating the location. * functions for parsing and manipulating the location.
* *
* @author Kim Rutherford * @author Kim Rutherford
* @version $Id: Location.java,v 1.7 2005-11-15 14:02:37 tjc Exp $ * @version $Id: Location.java,v 1.8 2009-02-02 16:05:32 tjc Exp $
* *
*/ */
public class Location public class Location
...@@ -920,13 +920,16 @@ public class Location ...@@ -920,13 +920,16 @@ public class Location
Range child_range = null; Range child_range = null;
if(child_node.getType() == LocationParseNode.COMPLEMENT) if(child_node.getType() == LocationParseNode.COMPLEMENT)
child_range = child_node.getComplementChild().getRange(); {
if(child_node.getComplementChild().getType() == LocationParseNode.RANGE)
child_range = child_node.getComplementChild().getRange();
}
else if(child_node.getType() == LocationParseNode.RANGE) else if(child_node.getType() == LocationParseNode.RANGE)
child_range = child_node.getRange(); child_range = child_node.getRange();
if((child_node.getType() == LocationParseNode.RANGE || if((child_node.getType() == LocationParseNode.RANGE ||
child_node.getType() == LocationParseNode.COMPLEMENT) && child_node.getType() == LocationParseNode.COMPLEMENT) &&
child_range.equals(range)) (child_range != null && child_range.equals(range)))
{ {
if(child_node.getType() == LocationParseNode.COMPLEMENT) if(child_node.getType() == LocationParseNode.COMPLEMENT)
return true; return true;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment