1 files changed, 70 insertions, 0 deletions
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;
+	}
+
+}