Prop.h

#ifndef SORBET_REWRITER_CHALK_ODM_PROP_H
#define SORBET_REWRITER_CHALK_ODM_PROP_H
#include "ast/ast.h"

namespace sorbet::rewriter {

/**
 * This class desugars things of the form
 *
 *   prop :foo, Type
 *
 * into
 *
 *   sig {returns(Type)}
 *   def foo; ...; end
 *   sig {params(arg0: Type).returns(Type)}
 *   def foo=(arg0); ...; end
 *
 * We try to implement a simple approximation of the functionality that Chalk::ODM::Document.prop has. Any deviation
 * from the expected shape stops the desugaring.
 *
 * Most other `run`s return just nodes, but we also want to keep track of the prop information so that at the end
 * of the Rewriter pass on the classDef, we can construct an `initialize` method with good static types.
 *
 */
class Prop final {
public:
    static void run(core::MutableContext ctx, ast::ClassDef *klass);

    Prop() = delete;
};

} // namespace sorbet::rewriter

#endif