blob: 0438b048f9a7b9fae8019f2790eeebbcac059971 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
/*******************************************************************************
* 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 it.polito.verigraph.mcnet.components;
import com.microsoft.z3.Context;
import com.microsoft.z3.DatatypeExpr;
import it.polito.verigraph.mcnet.components.Core;
/** Represents a generic network object.
*
*
*/
public abstract class NetworkObject extends Core{
public NetworkObject(Context ctx,Object[]... args) {
super(ctx,args);
}
protected DatatypeExpr z3Node;
protected boolean isEndHost;
/**
* Get a reference to the z3 node this class wraps around
* @return
*/
abstract public DatatypeExpr getZ3Node();
public String toString(){
return z3Node.toString();
}
//There is probably an error: z3Node.hashCode = 0 because AST.hashCode() has always hash=0
/*public int hashCode(){
return z3Node.hashCode();
}*/
/**
* A simple way to determine the set of endhosts
* @return
*/
public boolean isEndHost(){
return isEndHost;
}
/**
* Wrap methods to set policy
* @param policy
* @throws UnsupportedOperationException
*/
void setPolicy (Object policy) throws UnsupportedOperationException{
throw new UnsupportedOperationException();
}
}
|
