identifiers property

List<String> get identifiers

user defined identifer を返す

Implementation

List<String> get identifiers {

    final List<String> list = [];

    for (final i in first) {

        if (i is UserDefined) list.add(i.source);

    }

    return list;

}