Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
batfish-master
projects
allinone
src
org
batfish
allinone
AllInOne.java
Main.java
Settings.java
config
ConfigurationLocator.java
batfish
src
org
batfish
bdp
AbstractRib.java
BdpDataPlane.java
BdpDataPlanePlugin.java
BgpRib.java
ConnectedRib.java
Fib.java
Node.java
OspfExternalType1Rib.java
OspfExternalType2Rib.java
OspfInterAreaRib.java
OspfIntraAreaRib.java
OspfRib.java
Rib.java
StaticRib.java
VirtualRouter.java
bgp
JsonExternalBgpAdvertisementPlugin.java
config
ConfigurationLocator.java
grammar
BgpTableFormatDetector.java
RoutingTableFormatDetector.java
VendorConfigurationFormatDetector.java
assertion
AssertionCombinedParser.java
AssertionExtractor.java
cisco
CiscoCombinedParser.java
CiscoControlPlaneExtractor.java
flatjuniper
ApplyGroupsApplicator.java
ApplyPathApplicator.java
ConfigurationBuilder.java
DeactivateLinePruner.java
DeactivateTreeBuilder.java
DeactivatedLinePruner.java
FlatJuniperCombinedParser.java
FlatJuniperControlPlaneExtractor.java
GroupPruner.java
GroupTreeBuilder.java
Hierarchy.java
InitialTreeBuilder.java
WildcardApplicator.java
WildcardPruner.java
flatvyos
FlatVyosCombinedParser.java
FlatVyosControlPlaneExtractor.java
iptables
IptablesCombinedParser.java
IptablesControlPlaneExtractor.java
juniper
JuniperCombinedParser.java
JuniperFlattener.java
mrv
MrvCombinedParser.java
MrvControlPlaneExtractor.java
routing_table
eos
EosRoutingTableCombinedParser.java
EosRoutingTableExtractor.java
nxos
NxosRoutingTableCombinedParser.java
NxosRoutingTableExtractor.java
topology
BatfishTopologyCombinedParser.java
BatfishTopologyExtractor.java
GNS3TopologyCombinedParser.java
GNS3TopologyExtractor.java
RoleCombinedParser.java
RoleExtractor.java
TopologyExtractor.java
vyos
VyosCombinedParser.java
VyosFlattener.java
graphviz
GraphvizDigraph.java
GraphvizEdge.java
GraphvizInput.java
GraphvizJob.java
GraphvizNode.java
GraphvizResult.java
job
BatfishJob.java
BatfishJobExecutor.java
BatfishJobResult.java
ConvertConfigurationJob.java
ConvertConfigurationResult.java
FlattenVendorConfigurationJob.java
FlattenVendorConfigurationResult.java
ParseEnvironmentBgpTableJob.java
ParseEnvironmentBgpTableResult.java
ParseEnvironmentRoutingTableJob.java
ParseEnvironmentRoutingTableResult.java
ParseVendorConfigurationJob.java
ParseVendorConfigurationResult.java
main
Batfish.java
Driver.java
ParserBatfishException.java
PartialGroupMatchException.java
Service.java
Settings.java
UndefinedGroupBatfishException.java
representation
aws_vpcs
Address.java
AwsVpcConfiguration.java
AwsVpcEntity.java
CustomerGateway.java
Instance.java
InternetGateway.java
IpPermissions.java
IpsecTunnel.java
NetworkAcl.java
NetworkAclAssociation.java
NetworkAclEntry.java
NetworkInterface.java
Route.java
RouteTable.java
RouteTableAssociation.java
SecurityGroup.java
Subnet.java
Utils.java
VgwTelemetry.java
Vpc.java
VpcPeeringConnection.java
VpnConnection.java
VpnGateway.java
cisco
AsPathSet.java
BgpAggregateIpv4Network.java
BgpAggregateIpv6Network.java
BgpAggregateNetwork.java
BgpNetwork.java
BgpNetwork6.java
BgpPeerGroup.java
BgpProcess.java
BgpRedistributionPolicy.java
CiscoConfiguration.java
CiscoStructureType.java
CiscoStructureUsage.java
DynamicIpBgpPeerGroup.java
DynamicIpv6BgpPeerGroup.java
Edge.java
ExpandedCommunityList.java
ExpandedCommunityListLine.java
ExtendedAccessList.java
ExtendedAccessListLine.java
ExtendedIpv6AccessList.java
ExtendedIpv6AccessListLine.java
Interface.java
IpAsPathAccessList.java
IpAsPathAccessListLine.java
IpBgpPeerGroup.java
Ipv6BgpPeerGroup.java
IsisProcess.java
IsisRedistributionPolicy.java
LeafBgpPeerGroup.java
MacAccessList.java
MacAccessListLine.java
MasterBgpPeerGroup.java
NamedBgpPeerGroup.java
OspfNetwork.java
OspfProcess.java
OspfRedistributionPolicy.java
OspfWildcardNetwork.java
Prefix6List.java
Prefix6ListLine.java
PrefixList.java
PrefixListLine.java
RedistributionPolicy.java
RouteMap.java
RouteMapClause.java
RouteMapContinue.java
RouteMapMatchAsPathAccessListLine.java
RouteMapMatchCommunityListLine.java
RouteMapMatchIpAccessListLine.java
RouteMapMatchIpPrefixListLine.java
RouteMapMatchIpv6AccessListLine.java
RouteMapMatchIpv6PrefixListLine.java
RouteMapMatchLine.java
RouteMapMatchNeighborLine.java
RouteMapMatchProtocolLine.java
RouteMapMatchTagLine.java
RouteMapMatchType.java
RouteMapSetAdditiveCommunityLine.java
RouteMapSetAdditiveCommunityListLine.java
RouteMapSetAsPathPrependLine.java
RouteMapSetCommunityLine.java
RouteMapSetCommunityListLine.java
RouteMapSetCommunityNoneLine.java
RouteMapSetDeleteCommunityLine.java
RouteMapSetLine.java
RouteMapSetLocalPreferenceLine.java
RouteMapSetMetricLine.java
RouteMapSetNextHopLine.java
RouteMapSetNextHopPeerAddress.java
RouteMapSetOriginTypeLine.java
RouteMapSetType.java
RoutePolicy.java
RoutePolicyApplyStatement.java
RoutePolicyBoolean.java
RoutePolicyBooleanAnd.java
RoutePolicyBooleanApply.java
RoutePolicyBooleanAsPathIn.java
RoutePolicyBooleanAsPathNeighborIs.java
RoutePolicyBooleanAsPathOriginatesFrom.java
RoutePolicyBooleanAsPathPassesThrough.java
RoutePolicyBooleanCommunityMatchesAny.java
RoutePolicyBooleanCommunityMatchesEvery.java
RoutePolicyBooleanDestination.java
RoutePolicyBooleanLocalPreference.java
RoutePolicyBooleanMed.java
RoutePolicyBooleanNextHopIn.java
RoutePolicyBooleanNot.java
RoutePolicyBooleanOr.java
RoutePolicyBooleanRibHasRoute.java
RoutePolicyBooleanRouteTypeIs.java
RoutePolicyBooleanTagIs.java
RoutePolicyComment.java
RoutePolicyCommunitySet.java
RoutePolicyCommunitySetInline.java
RoutePolicyCommunitySetName.java
RoutePolicyDeleteAllStatement.java
RoutePolicyDeleteCommunityStatement.java
RoutePolicyDeleteStatement.java
RoutePolicyDeleteType.java
RoutePolicyDispositionStatement.java
RoutePolicyDispositionType.java
RoutePolicyElseBlock.java
RoutePolicyElseIfBlock.java
RoutePolicyIfStatement.java
RoutePolicyInlinePrefix6Set.java
RoutePolicyInlinePrefixSet.java
RoutePolicyNextHop.java
RoutePolicyNextHopIP6.java
RoutePolicyNextHopIp.java
RoutePolicyNextHopPeerAddress.java
RoutePolicyNextHopSelf.java
RoutePolicyNextHopType.java
RoutePolicyPrefixSet.java
RoutePolicyPrefixSetName.java
RoutePolicyPrependAsPath.java
RoutePolicySetCommunity.java
RoutePolicySetIsisMetric.java
RoutePolicySetIsisMetricType.java
RoutePolicySetLevel.java
RoutePolicySetLocalPref.java
RoutePolicySetMed.java
RoutePolicySetNextHop.java
RoutePolicySetOrigin.java
RoutePolicySetOspfMetricType.java
RoutePolicySetStatement.java
RoutePolicySetTag.java
RoutePolicySetVarMetricType.java
RoutePolicySetWeight.java
RoutePolicyStatement.java
RoutePolicyStatementType.java
StandardAccessList.java
StandardAccessListLine.java
StandardCommunityList.java
StandardCommunityListLine.java
StandardIpv6AccessList.java
StandardIpv6AccessListLine.java
StaticRoute.java
Vrf.java
host
HostConfiguration.java
HostInterface.java
HostStaticRoute.java
iptables
IptablesChain.java
IptablesConfiguration.java
IptablesMatch.java
IptablesRule.java
IptablesTable.java
IptablesVendorConfiguration.java
juniper
AddressAddressBookEntry.java
AddressBook.java
AddressBookEntry.java
AddressSetAddressBookEntry.java
AddressSetEntry.java
AggregateRoute.java
Application.java
BaseApplication.java
BgpGroup.java
CommunityList.java
CommunityListLine.java
Family.java
FirewallFilter.java
FwFrom.java
FwFromApplication.java
FwFromDestinationAddress.java
FwFromDestinationAddressBookEntry.java
FwFromDestinationAddressExcept.java
FwFromDestinationPort.java
FwFromDestinationPrefixList.java
FwFromDestinationPrefixListExcept.java
FwFromFragmentOffset.java
FwFromHostProtocol.java
FwFromHostService.java
FwFromIcmpCode.java
FwFromIcmpType.java
FwFromPacketLength.java
FwFromPort.java
FwFromPrefixList.java
FwFromProtocol.java
FwFromSourceAddress.java
FwFromSourceAddressBookEntry.java
FwFromSourceAddressExcept.java
FwFromSourcePort.java
FwFromSourcePrefixList.java
FwFromSourcePrefixListExcept.java
FwFromTcpFlags.java
FwTerm.java
FwThen.java
FwThenAccept.java
FwThenDiscard.java
FwThenNextIp.java
FwThenNextTerm.java
FwThenNop.java
GeneratedRoute.java
HostProtocol.java
HostSystemService.java
IkeGateway.java
IkePolicy.java
Interface.java
IpBgpGroup.java
IpsecPolicy.java
IpsecVpn.java
IsisInterfaceLevelSettings.java
IsisInterfaceSettings.java
IsisLevelSettings.java
IsisSettings.java
JuniperConfiguration.java
JuniperStructureType.java
JuniperStructureUsage.java
JuniperSystem.java
JunosApplication.java
NamedBgpGroup.java
NodeDevice.java
OspfArea.java
PolicyStatement.java
PrefixList.java
PsFrom.java
PsFromAsPath.java
PsFromColor.java
PsFromCommunity.java
PsFromFamilyInet.java
PsFromFamilyInet6.java
PsFromInterface.java
PsFromLocalPreference.java
PsFromMetric.java
PsFromPolicyStatement.java
PsFromPolicyStatementConjunction.java
PsFromPrefixList.java
PsFromPrefixListFilterLonger.java
PsFromPrefixListFilterOrLonger.java
PsFromProtocol.java
PsFromRouteFilter.java
PsTerm.java
PsThen.java
PsThenAccept.java
PsThenCommunityAdd.java
PsThenCommunityDelete.java
PsThenCommunitySet.java
PsThenDefaultActionAccept.java
PsThenDefaultActionReject.java
PsThenLocalPreference.java
PsThenMetric.java
PsThenNextHopIp.java
PsThenNextPolicy.java
PsThenReject.java
Route4FilterLine.java
Route4FilterLineExact.java
Route4FilterLineLengthRange.java
Route4FilterLineLonger.java
Route4FilterLineOrLonger.java
Route4FilterLineThrough.java
Route4FilterLineUpTo.java
Route6FilterLine.java
Route6FilterLineExact.java
Route6FilterLineLengthRange.java
Route6FilterLineLonger.java
Route6FilterLineOrLonger.java
Route6FilterLineThrough.java
Route6FilterLineUpTo.java
RouteFilter.java
RouteFilterLine.java
RoutingInformationBase.java
RoutingInstance.java
StaticRoute.java
Zone.java
mrv
MrvConfiguration.java
vyos
BgpNeighbor.java
BgpProcess.java
EspGroup.java
EspProposal.java
HashAlgorithm.java
IkeGroup.java
IkeProposal.java
Interface.java
InterfaceType.java
IpsecPeer.java
PfsSource.java
PrefixList.java
PrefixListRule.java
RouteMap.java
RouteMapMatch.java
RouteMapMatchPrefixList.java
RouteMapRule.java
StaticNextHopRoute.java
VyosConfiguration.java
VyosStructureType.java
VyosStructureUsage.java
z3
AclLine.java
AclReachabilityQuerySynthesizer.java
BaseQuerySynthesizer.java
BlacklistDstIpQuerySynthesizer.java
CompositeNodJob.java
ConcretizerQuery.java
EarliestMoreGeneralReachableLineQuerySynthesizer.java
FirstUnsatQuerySynthesizer.java
MultipathInconsistencyQuerySynthesizer.java
NodFirstUnsatJob.java
NodFirstUnsatResult.java
NodJob.java
NodJobResult.java
NodProgram.java
NodSatJob.java
NodSatResult.java
PolicyRouteNextHopInterfaceEntry.java
QuerySynthesizer.java
ReachEdgeQuerySynthesizer.java
ReachabilityQuerySynthesizer.java
RoleReachabilityQuerySynthesizer.java
RoleTransitQuerySynthesizer.java
SatQuerySynthesizer.java
Synthesizer.java
node
AcceptExpr.java
AclDenyExpr.java
AclMatchExpr.java
AclNoMatchExpr.java
AclPermitExpr.java
AndExpr.java
AssertExpr.java
BitVecExpr.java
BooleanExpr.java
CheckSatExpr.java
CollapsedComplexExprPrinter.java
CollapsedListExpr.java
Comment.java
ComplexExpr.java
ComplexExprPrinter.java
DebugExpr.java
DeclareRelExpr.java
DeclareVarExpr.java
DestinationRouteExpr.java
DropAclExpr.java
DropAclInExpr.java
DropAclOutExpr.java
DropExpr.java
DropNoRouteExpr.java
DropNullRouteExpr.java
EqExpr.java
ExpandedComplexExprPrinter.java
ExpandedListExpr.java
Expr.java
ExprPrinter.java
ExternalDestinationIpExpr.java
ExternalSourceIpExpr.java
ExtractExpr.java
FalseExpr.java
GetModelExpr.java
IdExpr.java
IfExpr.java
InboundInterfaceExpr.java
IntExpr.java
InterfacePacketRelExpr.java
LetExpr.java
ListExpr.java
LitIntExpr.java
MacroDefExpr.java
MacroRefExpr.java
NodeAcceptExpr.java
NodeDropAclExpr.java
NodeDropAclInExpr.java
NodeDropAclOutExpr.java
NodeDropExpr.java
NodeDropNoRouteExpr.java
NodeDropNullRouteExpr.java
NodePacketRelExpr.java
NodeTransitExpr.java
NodeZonePacketRelExpr.java
NonInboundNullSrcZoneExpr.java
NonInboundSrcInterfaceExpr.java
NonInboundSrcZoneExpr.java
NotExpr.java
NumberedQueryExpr.java
OrExpr.java
OriginateExpr.java
OriginateVrfExpr.java
PacketRelExpr.java
PolicyClauseExpr.java
PolicyDenyExpr.java
PolicyExpr.java
PolicyMatchExpr.java
PolicyNoMatchExpr.java
PolicyPermitExpr.java
PostInExpr.java
PostInInterfaceExpr.java
PostInVrfExpr.java
PostOutInterfaceExpr.java
PreInInterfaceExpr.java
PreOutEdgeExpr.java
PreOutExpr.java
PreOutInterfaceExpr.java
PrefixMatchExpr.java
QueryExpr.java
QueryRelationExpr.java
RangeMatchExpr.java
ReachPostInExpr.java
RelExpr.java
RoleAcceptExpr.java
RoleOriginateExpr.java
RuleExpr.java
SaneExpr.java
Statement.java
TrueExpr.java
TypeExpr.java
UnoriginalExpr.java
UnsatExpr.java
VarIntExpr.java
batfish-client
src
org
batfish
client
BfCoordPoolHelper.java
BfCoordWorkHelper.java
Client.java
Command.java
CommandCompleter.java
Main.java
QuestionHelper.java
Settings.java
answer
LoadQuestionAnswerElement.java
config
ConfigurationLocator.java
plugin
ClientPlugin.java
batfish-common-protocol
src
org
batfish
common
Answerer.java
BaseSettings.java
BatfishException.java
BatfishLogger.java
BfConsts.java
BfJson.java
CleanBatfishException.java
CompositeBatfishException.java
CompositePrintStream.java
CoordConsts.java
DebugBatfishException.java
Directory.java
Pair.java
ParseTreeSentences.java
PedanticBatfishException.java
QuestionException.java
RedFlagBatfishException.java
Task.java
UnimplementedBatfishException.java
VendorConversionException.java
Version.java
Warning.java
Warnings.java
WorkItem.java
plugin
AbstractClient.java
BatfishPlugin.java
BgpTablePlugin.java
DataPlanePlugin.java
ExternalBgpAdvertisementPlugin.java
IBatfish.java
IBatfishPlugin.java
IBgpTablePlugin.java
IClient.java
IClientPlugin.java
IDataPlanePlugin.java
IExternalBgpAdvertisementPlugin.java
IPluginConsumer.java
IQuestionPlugin.java
Plugin.java
PluginClientType.java
PluginConsumer.java
util
BatfishObjectInputStream.java
BatfishObjectMapper.java
CommonUtil.java
ComparableStructure.java
JsonDiff.java
JuniperUtils.java
PrettyPrinter.java
ReferenceCountedStructure.java
SkipForEqualityCheck.java
StringFilter.java
UnzipUtility.java
UrlZipExplorer.java
ZipUtility.java
datamodel
AbstractRoute.java
AbstractRoute6.java
AbstractRoute6Builder.java
AbstractRouteBuilder.java
AsPath.java
AsPathAccessList.java
AsPathAccessListLine.java
AsPathAccessListsDiff.java
AsSet.java
BgpAdvertisement.java
BgpNeighbor.java
BgpProcess.java
BgpProcessDiff.java
BgpRoute.java
CommunityList.java
CommunityListLine.java
CommunityListsDiff.java
ConfigDiffElement.java
Configuration.java
ConfigurationDiff.java
ConfigurationFormat.java
ConnectedRoute.java
DataPlane.java
DiffieHellmanGroup.java
DscpType.java
Edge.java
EncryptionAlgorithm.java
ExtendedCommunity.java
FilterResult.java
Flow.java
Flow6.java
FlowBuilder.java
FlowDisposition.java
FlowHistory.java
FlowTrace.java
FlowTraceHop.java
ForwardingAction.java
GeneratedRoute.java
GeneratedRoute6.java
GenericConfigObject.java
Header6Space.java
HeaderSpace.java
IRib.java
IcmpCode.java
IcmpType.java
IkeAuthenticationAlgorithm.java
IkeAuthenticationMethod.java
IkeGateway.java
IkePolicy.java
IkeProposal.java
Interface.java
InterfaceType.java
InterfacesDiff.java
Ip.java
Ip6.java
Ip6AccessList.java
Ip6AccessListLine.java
Ip6Wildcard.java
IpAccessList.java
IpAccessListLine.java
IpAccessListsDiff.java
IpProtocol.java
IpWildcard.java
IpsecAuthenticationAlgorithm.java
IpsecPolicy.java
IpsecProposal.java
IpsecProtocol.java
IpsecVpn.java
IsisInterfaceMode.java
IsisLevel.java
IsisMetricType.java
IsisProcess.java
IsisRoute.java
IsoAddress.java
LineAction.java
NamedPort.java
NeighborType.java
NeighborsDiff.java
NodeType.java
OriginType.java
OspfArea.java
OspfExternalRoute.java
OspfExternalType1Route.java
OspfExternalType2Route.java
OspfInterAreaRoute.java
OspfIntraAreaRoute.java
OspfMetricType.java
OspfNeighbor.java
OspfProcess.java
OspfRoute.java
Prefix.java
Prefix6.java
Prefix6Range.java
Prefix6Space.java
Prefix6Trie.java
PrefixRange.java
PrefixSpace.java
PrefixSpaceLine.java
PrefixSpaceList.java
PrefixTrie.java
Protocol.java
ReachabilityType.java
Route.java
Route6FilterLine.java
Route6FilterList.java
RouteBuilder.java
RouteFilterLine.java
RouteFilterList.java
RouteFilterListsDiff.java
RoutingPoliciesDiff.java
RoutingProtocol.java
SnmpCommunity.java
SnmpHost.java
SnmpServer.java
State.java
StaticRoute.java
SubRange.java
SwitchportEncapsulationType.java
SwitchportMode.java
TcpFlags.java
Topology.java
Vrf.java
VrfDiff.java
VrfsDiff.java
VrrpGroup.java
Zone.java
answers
AclLinesAnswerElement.java
Answer.java
AnswerElement.java
AnswerStatus.java
BdpAnswerElement.java
ConvertConfigurationAnswerElement.java
DataPlaneAnswerElement.java
EnvironmentCreationAnswerElement.java
FlattenVendorConfigurationAnswerElement.java
GraphvizAnswerElement.java
InitInfoAnswerElement.java
JsonDiffAnswerElement.java
NodAnswerElement.java
NodFirstUnsatAnswerElement.java
NodSatAnswerElement.java
ParseEnvironmentBgpTablesAnswerElement.java
ParseEnvironmentRoutingTablesAnswerElement.java
ParseStatus.java
ParseVendorConfigurationAnswerElement.java
Problem.java
ProblemsAnswerElement.java
ReportAnswerElement.java
RunAnalysisAnswerElement.java
StringAnswerElement.java
assertion
And.java
AssertionAst.java
BooleanExpr.java
BooleanExprs.java
BooleanIf.java
ComparableExpr.java
ComparableIf.java
DoubleExpr.java
DoubleLiteral.java
Environment.java
Eq.java
Expr.java
FloatExpr.java
FloatLiteral.java
Ge.java
Gt.java
IntExpr.java
IntLiteral.java
Le.java
LongExpr.java
LongLiteral.java
Lt.java
Not.java
Or.java
PathResult.java
PathSize.java
StringExpr.java
StringIf.java
StringLiteral.java
collections
AbstractMultiSet.java
AdvertisementSet.java
BgpAdvertisementsByVrf.java
CommunitySet.java
EdgeSet.java
FibMap.java
FibRow.java
FibSet.java
FunctionSet.java
IbgpTopology.java
InterfaceSet.java
IpEdge.java
IpPair.java
MultiSet.java
NamedStructureEquivalenceSet.java
NamedStructureEquivalenceSets.java
NodeInterfacePair.java
NodeIpPair.java
NodeRoleMap.java
NodeSet.java
NodeVrfSet.java
PolicyRouteFibIpMap.java
PolicyRouteFibNodeMap.java
RoleNodeMap.java
RoleSet.java
RouteSet.java
RoutesByVrf.java
TreeMultiSet.java
questions
IEnvironmentCreationQuestion.java
IQuestion.java
IReachabilityQuestion.java
ITracerouteQuestion.java
Question.java
routing_policy
Environment.java
Result.java
RoutingPolicy.java
expr
AsExpr.java
AsPathListExpr.java
AsPathSetElem.java
AsPathSetExpr.java
AutoAs.java
BooleanExpr.java
BooleanExprs.java
CallExpr.java
CommunitySetElem.java
CommunitySetElemHalfExpr.java
CommunitySetExpr.java
Conjunction.java
ConjunctionChain.java
DecrementLocalPreference.java
DecrementMetric.java
DestinationNetwork.java
DestinationNetwork6.java
Disjunction.java
DisjunctionChain.java
ExplicitAs.java
ExplicitAsPathSet.java
ExplicitPrefix6Set.java
ExplicitPrefixSet.java
HasRoute.java
HasRoute6.java
IgpCost.java
IncrementLocalPreference.java
IncrementMetric.java
InlineCommunitySet.java
IntComparator.java
IntExpr.java
Ip6Expr.java
Ip6NextHop.java
Ip6Prefix.java
IpExpr.java
IpNextHop.java
IpPrefix.java
IsisLevelExpr.java
LiteralAsList.java
LiteralCommunitySetElemHalf.java
LiteralInt.java
LiteralIsisLevel.java
LiteralLong.java
LiteralOrigin.java
LiteralRouteType.java
LongExpr.java
MatchAsPath.java
MatchColor.java
MatchCommunitySet.java
MatchEntireCommunitySet.java
MatchIp6AccessList.java
MatchIpAccessList.java
MatchIpv4.java
MatchIpv6.java
MatchLocalPreference.java
MatchMetric.java
MatchPrefix6Set.java
MatchPrefixSet.java
MatchProtocol.java
MatchRouteType.java
MatchSourceInterface.java
MatchTag.java
MultipliedAs.java
NamedAsPathSet.java
NamedCommunitySet.java
NamedPrefix6Set.java
NamedPrefixSet.java
NeighborIsAsPath.java
NextHopExpr.java
NextHopIp.java
NextHopIp6.java
Not.java
OriginExpr.java
OriginatesFromAsPath.java
PassesThroughAsPath.java
PeerAddressNextHop.java
Prefix6Expr.java
Prefix6SetExpr.java
PrefixExpr.java
PrefixSetExpr.java
RangeCommunitySetElemHalf.java
RegexAsPathSetElem.java
RouteType.java
RouteTypeExpr.java
SelfNextHop.java
SubRangeExpr.java
VarAs.java
VarAsPathSet.java
VarCommunitySetElemHalf.java
VarInt.java
VarIsisLevel.java
VarOrigin.java
VarRouteType.java
WithEnvironmentExpr.java
statement
AddCommunity.java
BufferedStatement.java
CallStatement.java
Comment.java
DeleteCommunity.java
If.java
PrependAsPath.java
RetainCommunity.java
SetCommunity.java
SetDefaultPolicy.java
SetIsisLevel.java
SetIsisMetricType.java
SetLocalPreference.java
SetMetric.java
SetNextHop.java
SetOrigin.java
SetOspfMetricType.java
SetTag.java
SetVarMetricType.java
SetWeight.java
Statement.java
Statements.java
vendor_family
VendorFamily.java
cisco
Aaa.java
AaaAccounting.java
AaaAccountingCommands.java
AaaAccountingDefault.java
AaaAuthentication.java
AaaAuthenticationLogin.java
AaaAuthenticationLoginList.java
Buffered.java
CiscoFamily.java
Line.java
Logging.java
LoggingHost.java
LoggingType.java
Ntp.java
NtpServer.java
Service.java
Sntp.java
SntpServer.java
SshSettings.java
grammar
BatfishCombinedParser.java
BatfishExtractor.java
BatfishGrammarErrorListener.java
BatfishLexer.java
BatfishLexerErrorListener.java
BatfishParser.java
BatfishParserErrorListener.java
BatfishSyntaxErrorHandler.java
BgpTableExtractor.java
BgpTableFormat.java
ControlPlaneExtractor.java
GrammarSettings.java
ParseTreePrettyPrinter.java
RoutingTableExtractor.java
RoutingTableFormat.java
vendor
StructureType.java
StructureUsage.java
VendorConfiguration.java
test
src
org
batfish
test
TestSerialization.java
coordinator
src
org
batfish
coordinator
CrossDomainFilter.java
Main.java
PoolMgr.java
PoolMgrService.java
QueuedWork.java
Settings.java
WorkMgr.java
WorkMgrService.java
WorkQueueMgr.java
WorkerStatus.java
authorizer
Authorizer.java
DbAuthorizer.java
FileAuthorizer.java
NoneAuthorizer.java
config
ConfigurationLocator.java
queues
AzureQueue.java
MemoryQueue.java
WorkQueue.java
question
src
org
batfish
question
AclReachabilityQuestionPlugin.java
BgpAdvertisementsQuestionPlugin.java
BgpLoopbacksQuestionPlugin.java
BgpSessionCheckQuestionPlugin.java
CompareSameNameQuestionPlugin.java
EnvironmentCreationQuestionPlugin.java
ErrorQuestionPlugin.java
FileMapQuestionPlugin.java
FileTreeQuestionPlugin.java
InitInfoQuestionPlugin.java
IpsecVpnCheckQuestionPlugin.java
IsisLoopbacksQuestionPlugin.java
NeighborsQuestionPlugin.java
NodesQuestionPlugin.java
OspfLoopbacksQuestionPlugin.java
OspfSessionCheckQuestionPlugin.java
PairwiseVpnConnectivityQuestionPlugin.java
ParseTreesQuestionPlugin.java
QuestionPlugin.java
ReachabilityQuestionPlugin.java
RoutesQuestionPlugin.java
SelfAdjacenciesQuestionPlugin.java
TracerouteQuestionPlugin.java
UndefinedReferencesQuestionPlugin.java
UniqueBgpPrefixOriginationQuestionPlugin.java
UniqueIpAssignmentsQuestionPlugin.java
UnusedStructuresQuestionPlugin.java
assertion
AssertQuestionPlugin.java
Assertion.java
jsonpath
ConcreteJsonPath.java
JsonPathDiffResult.java
JsonPathQuery.java
JsonPathQuestionPlugin.java
JsonPathResult.java
NodesPathQuestionPlugin.java
package org.batfish.datamodel.assertion; public enum PathResult { EMPTY }