verigraph/src/it/polito/verigraph/mcnet/netobjs/PacketModel.java

   1 /*******************************************************************************
   2  * Copyright (c) 2017 Politecnico di Torino and others.
   3  *
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Apache License, Version 2.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.apache.org/licenses/LICENSE-2.0
   8  *******************************************************************************/
   9 package it.polito.verigraph.mcnet.netobjs;
  10
  11 import com.microsoft.z3.DatatypeExpr;
  12
  13 /*
  14  * Fields that can be configured -> "dest","body","seq","proto","emailFrom","url","options"
  15  */
  16 public class PacketModel {
  17
  18     private DatatypeExpr ip_dest;
  19     private Integer body;
  20     private Integer seq;
  21     private Integer proto;
  22     private Integer emailFrom;
  23     private Integer url;
  24     private Integer options;
  25
  26     public DatatypeExpr getIp_dest() {
  27         return ip_dest;
  28     }
  29     public void setIp_dest(DatatypeExpr ip_dest) {
  30         this.ip_dest = ip_dest;
  31     }
  32     public Integer getBody() {
  33         return body;
  34     }
  35     public void setBody(Integer body) {
  36         this.body = body;
  37     }
  38     public Integer getSeq() {
  39         return seq;
  40     }
  41     public void setSeq(Integer seq) {
  42         this.seq = seq;
  43     }
  44     public Integer getProto() {
  45         return proto;
  46     }
  47     public void setProto(Integer proto) {
  48         this.proto = proto;
  49     }
  50     public Integer getEmailFrom() {
  51         return emailFrom;
  52     }
  53     public void setEmailFrom(Integer emailFrom) {
  54         this.emailFrom = emailFrom;
  55     }
  56     public Integer getUrl() {
  57         return url;
  58     }
  59     public void setUrl(Integer url) {
  60         this.url = url;
  61     }
  62     public Integer getOptions() {
  63         return options;
  64     }
  65     public void setOptions(Integer options) {
  66         this.options = options;
  67     }
  68
  69 }