]> gerrit.simantics Code Review - simantics/platform.git/tree
b2379d3ca73db37b6a897844e5a354f996608591
-rw-r--r-- 259 EnvironmentalContext.java
-rw-r--r-- 933 PrintingContext.java
-rw-r--r-- 2399 ReplaceContext.java
-rw-r--r-- 10248 SimplificationContext.java
-rw-r--r-- 22748 TranslationContext.java
-rw-r--r-- 4929 TypeTranslationContext.java
-rw-r--r-- 19692 TypingContext.java