/* * Created on Apr 18, 2007 Copyright (C) 2001-5, Anthony Harrison anh23@pitt.edu * (jactr.org) This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public License as * published by the Free Software Foundation; either version 2.1 of the License, * or (at your option) any later version. This library is distributed in the * hope that it will be useful, but WITHOUT ANY WARRANTY; without even the * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See * the GNU Lesser General Public License for more details. You should have * received a copy of the GNU Lesser General Public License along with this * library; if not, write to the Free Software Foundation, Inc., 59 Temple * Place, Suite 330, Boston, MA 02111-1307 USA */ package org.jactr.eclipse.ui.editor.link; import org.eclipse.jface.text.IRegion; import org.eclipse.jface.text.hyperlink.IHyperlink; import org.jactr.eclipse.ui.editor.command.GoTo; import org.jactr.io.antlr3.misc.DetailedCommonTree; public class ACTRHyperlink implements IHyperlink { private final IRegion _target; private final DetailedCommonTree _destination; public ACTRHyperlink(IRegion location, DetailedCommonTree destination) { _target = location; _destination = destination; } public IRegion getHyperlinkRegion() { return _target; } public String getHyperlinkText() { return null; } public String getTypeLabel() { return null; } public void open() { try { GoTo.goTo(_destination); } catch (Exception e) { } } }