Skip to content

Limitation in mapping.json: case insensitivity #27

Closed
@homersimpsons

Description

@homersimpsons

In PHP some tokens are case-insensitive, namely:

The current mapping.json design allows to map a string from the "canonical" representation.txt to a single value from the original source.

With PHP's case insensitivity this is not enough, in fact given the following code:

<?php
function hElLoWoRlD() {}
HeLlOwOrLd();

our reprensentation.txt file will look like:

function f0() {}
f0();

and our mapping.json file will look like:

{"fn0":"helloworld"}

What can we do about those cases @ErikSchierboom ?

We could upgrade the mapping.json structure to allow something like:

{"fn0":["hElLoWoRlD","HeLlOwOrLd"]}

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions