Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

10
LINES

< > BotCompany Repo | #1025937 // philosophyBot_autoOpenTheoriesHandler

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (7669L/51K).

1  
// example use:

2  
//   auto open theories

3  


4  
svoid philosophyBot_autoOpenTheoriesHandler(PhilosophyBot1 bot) {



5  
  bot.addFactPreprocessor(s -> {



6  
    if (bot.matchString("auto open theories", s) == null) false;



7  
    bot.autoOpenTheories();



8  
    true;



9  
  });



10  
}



        
Author comment

    
Began life as a copy of #1025793

    
download  show line numbers  debug dex  old transpilations   
Travelled to 6 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt


No comments. add comment
      
      
  

  

    Snippet ID:
    #1025937
  

  

    Snippet name:
    philosophyBot_autoOpenTheoriesHandler
  

    

    Eternal ID of this version:
    #1025937/1
  

  

    Text MD5:
    db18cef302ea67cc5a0fc417bd5c74ab
  

    

    Transpilation MD5:
    422931000c7de54d5244c367ec5cf8b2
  

    

    Author:
    stefan
  

  

    Category:
    javax
  

  

    Type:
    JavaX fragment (include)
  

        

    Public (visible to everyone):
    Yes
  

  

    Archived (hidden from active list):
    No
  

  

    Created/modified:
      2019-11-01 11:49:09
  

  

    Source code size:
    259 bytes / 10 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    438 / 574
  

      

    Referenced in:
[show references]