class C1 extends React.Component {
    constructor() {
        this.state.readDirectly = 42; // OK
        this.state.readInChain = {}; // OK
        this.state.readInOtherMethod = {}; // OK
        this.state.notRead = 42; // NOT OK
        this.state.readDirectly;
        this.state.readInChain.foo;
    }

    otherMethod() {
        this.state.readInOtherMethod;
    }
}

function f(s){
    s.readWhenEscaped;
}
class C2 extends React.Component {
    constructor() {
        this.state.readWhenEscaped = 42; // NOT OK
        f(this.state);
    }
}


class C3 extends React.Component {
    constructor() {
        this.state.readThrougExternaPropertyAccess = 42; // OK
        this.state.notReadThrougExternaPropertyAccess = 42; // NOT OK
    }
}

new C3().state.readThrougExternaPropertyAccess;

class C4 extends React.Component {
    constructor() {
        function f() { return "readThroughUnknownDynamicPropertyAccess"; }
        this.state.readThroughUnknownDynamicPropertyAccess = 42; // OK
        this.state.notReadThroughUnknownDynamicPropertyAccess = 42; // NOT OK, but ignored to avoid FP above

        this.state[f()];
    }
}


class C5 extends React.Component {
    constructor() {
        this.state.readThroughSpreadOperator = 42; // OK
        ({...this.state});
    }
}

React.createClass({
    render: function() {
        this.state.readThroughMixin = 42; // OK
        this.state.notReadThroughMixin = 42;  // NOT OK, but ignored to avoid FP above
        return <h1>Hello</h1>;
    },

    mixins: [{ f: () => this.state.readThroughMixin }]
});

//semmle-extractor-options: --experimental
