From 53d83244c1bf36af86e90ce5fe758a369f73563e Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Sat, 25 Feb 2017 12:00:55 +0100
Subject: Add verigraph code base

JIRA: PARSER-111

Change-Id: Ie76e14fabbb6c388ebc89d9a15dd3021b25fa892
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
---
 .../service/src/mcnet/netobjs/PacketModel.java     | 70 ++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 verigraph/service/src/mcnet/netobjs/PacketModel.java

(limited to 'verigraph/service/src/mcnet/netobjs/PacketModel.java')

diff --git a/verigraph/service/src/mcnet/netobjs/PacketModel.java b/verigraph/service/src/mcnet/netobjs/PacketModel.java
new file mode 100644
index 0000000..5761861
--- /dev/null
+++ b/verigraph/service/src/mcnet/netobjs/PacketModel.java
@@ -0,0 +1,70 @@
+/*******************************************************************************
+ * Copyright (c) 2017 Politecnico di Torino and others.
+ *
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Apache License, Version 2.0
+ * which accompanies this distribution, and is available at
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *******************************************************************************/
+
+package mcnet.netobjs;
+
+import com.microsoft.z3.DatatypeExpr;
+
+/*
+ * Fields that can be configured -> "dest","body","seq","proto","emailFrom","url","options"
+ */
+public class PacketModel {
+
+	private DatatypeExpr ip_dest;
+	private Integer body;
+	private Integer seq;
+	private Integer proto;
+	private Integer emailFrom;
+	private Integer url;
+	private Integer options;
+
+	public DatatypeExpr getIp_dest() {
+		return ip_dest;
+	}
+	public void setIp_dest(DatatypeExpr ip_dest) {
+		this.ip_dest = ip_dest;
+	}
+	public Integer getBody() {
+		return body;
+	}
+	public void setBody(Integer body) {
+		this.body = body;
+	}
+	public Integer getSeq() {
+		return seq;
+	}
+	public void setSeq(Integer seq) {
+		this.seq = seq;
+	}
+	public Integer getProto() {
+		return proto;
+	}
+	public void setProto(Integer proto) {
+		this.proto = proto;
+	}
+	public Integer getEmailFrom() {
+		return emailFrom;
+	}
+	public void setEmailFrom(Integer emailFrom) {
+		this.emailFrom = emailFrom;
+	}
+	public Integer getUrl() {
+		return url;
+	}
+	public void setUrl(Integer url) {
+		this.url = url;
+	}
+	public Integer getOptions() {
+		return options;
+	}
+	public void setOptions(Integer options) {
+		this.options = options;
+	}
+
+}
-- 
cgit 1.2.3-korg