]> gerrit.simantics Code Review - simantics/platform.git/tree
fd05e497d49ecc460ff4402a68db9f0bd8bc0329
-rw-r--r-- 259 EnvironmentalContext.java
-rw-r--r-- 933 PrintingContext.java
-rw-r--r-- 1498 ReplaceContext.java
-rw-r--r-- 10248 SimplificationContext.java
-rw-r--r-- 20979 TranslationContext.java
-rw-r--r-- 4279 TypeTranslationContext.java
-rw-r--r-- 19210 TypingContext.java