/******************************************************************************* * Copyright (c) 2012-2015 INRIA. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * Youenn Corre - initial API and implementation ******************************************************************************/ package fr.inria.soctrace.framesoc.ui.model; import java.util.ArrayList; import java.util.List; import fr.inria.soctrace.lib.model.EventProducer; /** * This class extends TraceIntervalDescriptor in order to transmit more * information for synchronization between views. * * Additional information include the list of filtered event producers, or event * types and if a particular event should be focused on. * * @author "Youenn Corre <youenn.corre@inria.fr>" */ public class TraceConfigurationDescriptor extends TraceIntervalDescriptor { /** * List of filtered event producers (is typed as object since the views use * EventProducerNode --- except Gantt Chart). */ private List<Object> eventProducers = new ArrayList<Object>(); /** * List of filtered event types (is typed as object since the views use * EventTypeNode). */ private List<Object> eventTypes = new ArrayList<Object>(); /** * Can be used to specify the ID of the tool that is concerned by the * message. */ private String toolID = ""; /** * The minimum amount of time unit to show around an event when focusing on * it in the Gantt chart. */ public static final int MIN_TIME_UNIT_SHOWING = 200; /** * Should we focus on a particular event. */ private boolean focusOnEvent = false; /** * An event producer on which the focus should be on. */ private EventProducer eventProducer = null; /* * Getters and Setters */ public List<Object> getEventProducers() { return eventProducers; } public void setEventProducers(List<Object> eventProducers) { this.eventProducers = eventProducers; } public List<Object> getEventTypes() { return eventTypes; } public void setEventTypes(List<Object> eventTypes) { this.eventTypes = eventTypes; } public EventProducer getEventProducer() { return eventProducer; } public void setEventProducer(EventProducer eventProducer) { this.eventProducer = eventProducer; } public boolean isFocusOnEvent() { return focusOnEvent; } public void setFocusOnEvent(boolean focusOnEvent) { this.focusOnEvent = focusOnEvent; } public String getToolID() { return toolID; } public void setToolID(String toolID) { this.toolID = toolID; } }