Network naming

<Datacenter device> ::= <Type> [ <Number> ] "." <Rack> "." <Room> "." <Location> ".bfh.systems";

<Type> ::= "env" | "pdu" | "usv";
<Number> ::= <positive integers, starting by 1, no prefix of leading zeroes>;
<Rack> ::= "rack" <Number>;
<Room> ::= "cage-" { "a" | "b" | "c" };
<Location> ::= <Location name of the datacenter>;

<Datacenter network device> ::= <Type> <Number> "." <Rack> "." <Fabric> "." <Location> ".bfh.network";

<Type> ::= "leaf" | "spine" | "edge" | "superspine" | "border";
<Number> ::= <positive integers, starting by 1, no prefix of leading zeroes>;
<Rack> ::= "rack" <Number>;
<Fabric> ::= "fabric-" { "a" | "b" | "c" | "1" | "2" | "3" | "4" | "5" | "transit" | "test" };
<Location> ::= <Location name of the datacenter>;

<Campus network device> ::= <Type> <Number> "." <Floor> "." <Building> "." <Network location> ".bfh.network";

<Type> ::= "leaf" | "spine" | "wlan";
<Number> ::= <positive integers, starting by 1, no prefix of leading zeroes>;
<Floor> ::= <positive integer> { "eg" | "og" | "ug" };
<Building> ::= <Locations consisting of multiple buildings with designation as used on location, all letters in lower-case, no spaces | \
Locations consisting of multiple buildings without designation use the streetnumber, no prefix of leading zeroes | \
Locations consisting of one building use "0">;
<Network location> ::= <Location name of the spine location>;