org.osate.ba.texteditor.XtextAadlBaHighlighter.java Source code

Introduction

Here is the source code for org.osate.ba.texteditor.XtextAadlBaHighlighter.java

Source

/**
 * AADL-BA-FrontEnd
 * 
 * Copyright  2013 TELECOM ParisTech and CNRS
 * 
 * TELECOM ParisTech/LTCI
 * 
 * Authors: see AUTHORS
 * 
 * This program is free software: you can redistribute it and/or modify 
 * it under the terms of the Eclipse Public License as published by Eclipse,
 * either version 1.0 of the License, or (at your option) any later version.
 * This program 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
 * Eclipse Public License for more details.
 * You should have received a copy of the Eclipse Public License
 * along with this program.  If not, see 
 * http://www.eclipse.org/org/documents/epl-v10.php
 */

package org.osate.ba.texteditor;

import java.util.ArrayList;
import java.util.List;

import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.CommonToken;
import org.osate.ba.aadlba.BehaviorAnnex;
import org.osate.ba.utils.AadlBaLocationReference;

public class XtextAadlBaHighlighter implements AadlBaHighlighter {

    private List<AadlBaLocationReference> _elementToHighlight = new ArrayList<AadlBaLocationReference>();

    @Override
    public void addToHighlighting(int annexOffset, Token token, String id) {
        int offset = ((CommonToken) token).getStartIndex();
        int length = token.getText().length();
        int column = token.getCharPositionInLine();

        _elementToHighlight.add(new AadlBaLocationReference(annexOffset, offset, length, column, id));
    }

    public List<AadlBaLocationReference> getElementsToHighlitght(BehaviorAnnex annex) {
        return _elementToHighlight;
    }

    @Override
    public void addToHighlighting(int annexOffset, int relativeOffset, int length, String id) {
        _elementToHighlight.add(new AadlBaLocationReference(annexOffset, relativeOffset, length, 0, id));
    }

}