Fix doc cloudservices and policy format error
Change-Id: I97372d39271fe7211361e8fe58127f2590cdc6d8 Signed-off-by: Yuanbin.Chen <cybing4@gmail.com>
This commit is contained in:
parent
ada4038ea1
commit
576e531e86
|
@ -255,7 +255,7 @@ partial snippet from the Neutron driver::
|
|||
This networks_translator describes a python dictionary data structure that
|
||||
contains four keys: id, name, tenant_id, and subnets. The value for the
|
||||
subnets key is a list of subnet_group_ids each of which is a number. For
|
||||
example:
|
||||
example::
|
||||
|
||||
{ "id": 1234,
|
||||
"name": "Network Foo",
|
||||
|
|
|
@ -48,12 +48,12 @@ ID IP
|
|||
"73e31d4c-e89b-12d3-a456-426655440000" "10.0.0.3"
|
||||
====================================== ==========
|
||||
|
||||
This is the policy written in Congress's policy language:
|
||||
This is the policy written in Congress's policy language.::
|
||||
|
||||
error(port_id, ip1, ip2) :-
|
||||
port(port_id, ip1),
|
||||
port(port_id, ip2),
|
||||
not equal(ip1, ip2);
|
||||
error(port_id, ip1, ip2) :-
|
||||
port(port_id, ip1),
|
||||
port(port_id, ip2),
|
||||
not equal(ip1, ip2);
|
||||
|
||||
Note that the policy above does not mention specific table content;
|
||||
instead it describes the general condition of tables. The policy says
|
||||
|
|
Loading…
Reference in New Issue