Class PureWhitelist


  • public class PureWhitelist
    extends java.lang.Object
    A whitelist that contains pure elements.
    Since:
    2.0
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  PureWhitelist.PureElement
      Declares that a method is pure or all methods in a class or package are pure.
    • Constructor Detail

      • PureWhitelist

        public PureWhitelist()
      • PureWhitelist

        public PureWhitelist​(boolean loadExtensions)
        If loadExtensions is false, instead of loading the list of known extensions start with an empty whitelist
    • Method Detail

      • contains

        public boolean contains​(org.eclipse.xtext.common.types.JvmOperation jvmOperation)
      • loadKnownExtensions

        public void loadKnownExtensions()