module analysis::typepal::LocationChecks

rascal-0.43.0

org.rascalmpl.typepal-0.17.2

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)