create static method

InMemoryDatalogEngine create()

Creates an InMemory engine with all standard rules.

Implementation

static InMemoryDatalogEngine create() {
  final engine = InMemoryDatalogEngine();

  // Add all rules in evaluation order (stratum 0)
  engine.addRule(AllocRule());
  engine.addRule(CopyRule());
  engine.addRule(StoreFieldRule());
  engine.addRule(LoadFieldRule());
  engine.addRule(ReachabilityRule());
  engine.addRule(MutabilityRule());
  engine.addRule(TransitiveMutabilityRule());
  engine.addRule(CallGraphRule());

  return engine;
}