Model:
	elements+=Element*;
	
Element:
	Struct | StructInstance | WithClause
;

Struct:
	"struct" name=ID "{"
		properties += Property*
	"}"
;

Property:
	name=ID ";"
;

StructInstance:
	struct=[Struct] name=ID ";"
;

WithClause:
	"with" "(" structInstance=[StructInstance] ")" "{"
		assignments+=Assignment*
	"}"
;

Assignment:
	property=[Property] "=" value=INT
;

class MyDslScopeProvider extends AbstractMyDslScopeProvider {
	
	override getScope(EObject context, EReference reference) {
		if (reference == MyDslPackage.Literals.ASSIGNMENT__PROPERTY) {
			val withClause = EcoreUtil2.getContainerOfType(context, WithClause)
			if (withClause != null) {
				return Scopes.scopeFor(withClause.structInstance.struct.properties)
			}
		}
		super.getScope(context, reference)
	}

}