rune-langium / core/src / RosettaFunction / setPostConditionAt
Function: setPostConditionAt()
ts
function setPostConditionAt(
node,
index,
postCondition
): void;Defined in: packages/core/src/generated/domain.ts:2061
Parameters
| Parameter | Type |
|---|---|
node | Dehydrated<RosettaFunction> |
index | number |
postCondition | Dehydrated<Condition> |
Returns
void