Implement condition composition and observation strategies #13

New issue

Closed

opened 2026-06-06 14:02:49 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented 2026-06-06 14:02:49 +02:00

Owner

Copy link

Parent: #2

Goal

Implement built-in conditions, boolean composition, and explicit observation hints.

Tasks

• Implement process, CPU load, and battery condition primitives used by README.
• Implement conjunction and negation with clear DSL operators.
• Implement via, polling intervals, and subscription sources.
• Ensure observation strategies attach only to observable conditions.
• Represent all observation sources statically in IR.

Acceptance criteria

• README condition examples type-check and build expected IR nodes.
• Invalid polling intervals are reported by validation.
• Boolean composition preserves attached observation hints.
• No runtime observation or environment access occurs in this package.

Parent: #2 ## Goal Implement built-in conditions, boolean composition, and explicit observation hints. ## Tasks - Implement process, CPU load, and battery condition primitives used by README. - Implement conjunction and negation with clear DSL operators. - Implement `via`, polling intervals, and subscription sources. - Ensure observation strategies attach only to observable conditions. - Represent all observation sources statically in IR. ## Acceptance criteria - README condition examples type-check and build expected IR nodes. - Invalid polling intervals are reported by validation. - Boolean composition preserves attached observation hints. - No runtime observation or environment access occurs in this package.

yorunikakeru referenced this issue 2026-06-06 14:03:14 +02:00

Define public .frog DSL surface for built-in primitives #2

yorunikakeru referenced this issue from a commit 2026-06-06 22:30:54 +02:00

docs: update CHANGELOG for issue #13

yorunikakeru referenced this issue from a commit 2026-06-09 23:01:22 +02:00

test(dsl): verify via hint survives And and Not composition

yorunikakeru closed this issue 2026-06-09 23:01:22 +02:00

Sign in to join this conversation.

No Branch/Tag specified

Branches Tags

main

feature/issue-46-users

No results found.

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

FrogOS/DSL#13

No description provided.