module analysis::typepal::LocationChecks

rascal-0.42.0

org.rascalmpl.typepal-0.16.7

Usage

import analysis::typepal::LocationChecks;

Dependencies

import Location;

function isContainedIn

bool isContainedIn(loc inner, loc outer, map[loc,loc] m)

function isBefore

bool isBefore(loc inner, loc outer, map[loc,loc] m)