greycat/org.eclipse.hawk.greycat/src/org/eclipse/hawk/greycat/GreycatLightEdge.java

/*******************************************************************************
 * Copyright (c) 2018 Aston University.
 * 
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 *
 * This Source Code may also be made available under the following Secondary
 * Licenses when the conditions for such availability set forth in the Eclipse
 * Public License, v. 2.0 are satisfied: GNU General Public License, version 3.
 *
 * SPDX-License-Identifier: EPL-2.0 OR GPL-3.0
 *
 * Contributors:
 *     Antonio Garcia-Dominguez - initial API and implementation
 ******************************************************************************/
package org.eclipse.hawk.greycat;

import java.util.Collections;
import java.util.Set;

import org.eclipse.hawk.core.graph.IGraphEdge;
import org.eclipse.hawk.core.graph.IGraphNode;
import org.eclipse.hawk.greycat.GreycatNode.NodeReader;

/**
 * Light edge that cannot have any properties. This is the default edge
 * implemented by Greycat: heavy edges need to emulated with extra nodes.
 */
public class GreycatLightEdge implements IGraphEdge {

	public static GreycatLightEdge create(String type, GreycatNode from, GreycatNode to) {
		try (NodeReader rFrom = from.getNodeReader(); NodeReader rTo = to.getNodeReader()) {
			GreycatNode.addOutgoing(type, rFrom, rTo);
			GreycatNode.addIncoming(type, rTo, rFrom);
		}

		return new GreycatLightEdge(from, to, type);
	}

	private GreycatNode start, end;
	private String type;

	public GreycatLightEdge(GreycatNode start, GreycatNode end, String type) {
		this.start = start;
		this.end = end;
		this.type = type;
	}

	@Override
	public Object getId() {
		throw new UnsupportedOperationException("Light edges do not have an identifier");
	}

	@Override
	public String getType() {
		return type;
	}

	@Override
	public Set<String> getPropertyKeys() {
		return Collections.emptySet();
	}

	@Override
	public Object getProperty(String name) {
		// we have no properties
		return null;
	}

	@Override
	public void setProperty(String name, Object value) {
		throw new UnsupportedOperationException("Light edges cannot set properties");
	}

	@Override
	public IGraphNode getStartNode() {
		return start;
	}

	@Override
	public IGraphNode getEndNode() {
		return end;
	}

	@Override
	public void delete() {
		try (NodeReader rStart = start.getNodeReader(); NodeReader rEnd = end.getNodeReader()) {
			GreycatNode.removeOutgoing(type, rStart, rEnd);
			GreycatNode.removeIncoming(type, rEnd, rStart);
		}
	}

	@Override
	public void removeProperty(String name) {
		throw new UnsupportedOperationException("Light edges cannot set properties");
	}

	@Override
	public String toString() {
		return "GreycatLightEdge [start=" + start + ", end=" + end + ", type=" + type + "]";
	}

	@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + ((end == null) ? 0 : end.hashCode());
		result = prime * result + ((start == null) ? 0 : start.hashCode());
		result = prime * result + ((type == null) ? 0 : type.hashCode());
		return result;
	}

	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		GreycatLightEdge other = (GreycatLightEdge) obj;
		if (end == null) {
			if (other.end != null)
				return false;
		} else if (!end.equals(other.end))
			return false;
		if (start == null) {
			if (other.start != null)
				return false;
		} else if (!start.equals(other.start))
			return false;
		if (type == null) {
			if (other.type != null)
				return false;
		} else if (!type.equals(other.type))
			return false;
		return true;
	}
	
}