JavaScript: Add TaintKind as an alias to FlowLabel.

This commit is contained in:
Max Schaefer
2018-10-03 15:54:58 +01:00
parent 86ee58d019
commit e326dd4688

View File

@@ -220,6 +220,13 @@ abstract class FlowLabel extends string {
bindingset[this] FlowLabel() { any() }
}
/**
* A kind of taint tracked by a taint-tracking configuration.
*
* This is an alias of `FlowLabel`, so the two types can be used interchangeably.
*/
class TaintKind = FlowLabel;
/**
* A standard flow label, that is, either `FlowLabel::data()` or `FlowLabel::taint()`.
*/